712 search results - page 38 / 143 » Software debugging, testing, and verification |
101
click to vote
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
131
Voted
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
Reprogrammable hardware systems are traditionally very difficult to debug due to their high level of parallelism. In our solution to this problem, features are inserted into the u...
242
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...
111
Voted
CHI
2009
ACM
16 years 3 months ago
2009
ACM
Debugging and diagnostic tools are some of the most important software development tools, but most expect developers choose the right code to inspect. Unfortunately, this rarely o...
134
Voted
SIGSOFT
2009
ACM
16 years 3 months ago
2009
ACM
Debugging refers to the laborious process of finding causes of program failures. Often, such failures are introduced when a program undergoes changes and evolves from a stable ver...