712 search results - page 25 / 143 » Software debugging, testing, and verification |
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
ICSE
1999
IEEE-ACM
14 years 2 days ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
ICSE
1997
IEEE-ACM
13 years 12 months ago
1997
IEEE-ACM
Testing methods are compared in a model where program failures are detected and the software changed to eliminate them. The question considered is whether it is better to use test...
AADEBUG
2005
Springer
13 years 9 months ago
2005
Springer
We present a way to incorporate backtracking and dynamic patching into existing debuggers, without requiring any change to their source code, the compiler or the run-time environm...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...