Selecting Software Test Data Using Data Flow Information
IEEE Transactions on Software Engineering
Comparison of program testing strategies
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Constraint preservation through loops
Information Processing Letters
Exploring dataflow testing of arrays
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Finding failures by cluster analysis of execution profiles
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
An Introduction to Numerical Methods in C++
An Introduction to Numerical Methods in C++
Optimizing Supercompilers for Supercomputers
Optimizing Supercompilers for Supercomputers
Monitoring deployed software using software tomography
Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Automated Debugging: Are We Close
Computer
A Pragmatic Survey of Automated Debugging
AADEBUG '93 Proceedings of the First International Workshop on Automated and Algorithmic Debugging
Improving test suites via operational abstraction
Proceedings of the 25th International Conference on Software Engineering
Reliability of programs specified with equational specifications
Reliability of programs specified with equational specifications
Software quality assurance economics
Information and Software Technology
| Hi-index | 0.00 |
This paper proposes a new practical automatic debugging method, called Convergence Debugging, which isolates a set of test cases that converge on the internal root cause of a failure. This method involves evaluating the debugging effectiveness of a set of test case by utilizing a new measure of code-level distance between a set of debug test cases and the test case that caused the failure. The same distance measure could also be used to select a set of debug test cases that maximize debugging effectiveness. In order to gain insights into the root cause of a failure, the debug test cases could be used to analyze the differences between the failed test case of interest and the debug test cases.An industrial-strength tool, called Diversity Analyzer, for programs written in C, C++, C#, Java and VB in the Microsoft .NET environment, is used to experiment with the effectiveness of Convergence Debugging in locating faults in industrial software.