Automated path generation for software fault localization

20th IEEE/ACM International Conference on Automated Software Engineering, ASE 2005

Volumn , Issue , 2005, Pages 347-351

  Wang, Tao ^a   Roychoudhury, Abhik ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Automated debugging; Program comprehension

Indexed keywords

AUTOMATED DEBUGGING; AUTOMATED PATH; BENCHMARK SUITES; BUG REPORTS; CONDITIONAL BRANCH; FAULT LOCALIZATION; PROGRAM COMPREHENSION; PROGRAM STATEMENTS; SIEMENS; SOFTWARE FAULT LOCALIZATION;

AUTOMATION; BENCHMARKING; COMPUTER SOFTWARE;

PROGRAM DEBUGGING;

EID: 33745769635     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1101908.1101966     Document Type: Conference Paper

References (16)

1. T. Ball, M. Naik, and S. K. Rajamani. From symptom to cause: localizing errors in counterexample traces. In ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL), pages 97-105, 2003.
2. S. Chaki, A. Groce, and O. Strichman. Explaining abstract counterexamples. In ACM Symposium on the Foundations of Software Engineering (FSE), 2004.
3. H. Cleve and A. Zeller. Locating causes of program failures. In ACM/IEEE International Conference on Software Engineering (ICSE), 2005.
4. D. Detlefs, G. Nelson, and J. Saxe. Simplify: A theorem prover for program checking. Technical report, HP Labs, Palo Alto, CA, 2003. http://research.compaq.com/SRC/esc/Simplify.html.
5. A. Groce. Error explanation with distance metrics. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 108-122, 2004.
6. A. Groce and W. Visser. What went wrong: Explaining counterexamples. In SPIN Workshop on Model Checking of Software, pages 121-135, 2003.
7. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments on the effectiveness of dataflow-and controlflow-based test adequacy criteria. In ACM/IEEE International Conference on Software Engineering (ICSE), 1994.
8. J. A. Jones, M. J. Harrold, and J. Stasko. Visualization of test information to assist fault localization. In ACM/IEEE International Conference on Software Engineering (ICSE), pages 467-477, 2002.
9. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2003.
10. B. Pytlik, M. Renieris, S. Krishnamurthi, and S. P. Reiss. Automated fault localization using potential invariants. CoRR, cs. SE/0310040, Oct, 2003.
11. M. Renieris and S. P. Reiss. Fault localization with nearest neighbor queries. In Automated Software Engineering (ASE), pages 30-39, 2003.
12. T. W. Reps, T. Ball, M. Das, and J. R. Larus. The use of program profiling for software maintenance with applications to the year 2000 problem. In ACM Symposium on the Foundations of Software Engineering (FSE), 1997.
13. G. Rothermel and M. J. Harrold. Empirical studies of a safe regression test selection technique. IEEE Transactions on Software Engineering, 24, 1998.
14. J. Ruthruff, E. Creswick, M. Burnett, C. Cook, S. Prabhakararao, M. F. II, and M. Main. End-user software visualizations for fault localization. In ACM Symposium on Software Visualization, pages 123-132, 2003.
15. A. Zeller. Isolating cause-effect chains from computer programs. In ACM Symposium on the Foundations of Software Engineering (FSE), 2002.
16. A. Zeller and R. Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering, 28, 2002.