Locating faulty code using failure-inducing chops

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

Volumn , Issue , 2005, Pages 263-272

  Gupta, Neelam ^a   He, Haifeng ^a   Zhang, Xiangyu ^a   Gupta, Rajiv ^a  

^a University of Arizona   (United States)

Author keywords

Automated debugging; Backward dynamic; Failure inducing input; Forward dynamic program slicing; Program slicing

Indexed keywords

AUTOMATED DEBUGGING; BUFFER OVERFLOWS; DEBUGGING ALGORITHMS; DYNAMIC FAILURES; DYNAMIC PROGRAM SLICING; FORWARD DYNAMIC; MEMORY CORRUPTION; NEW APPROACHES; PROGRAM ANALYSIS; PROGRAM EXECUTION; PROGRAM SLICING; SEARCH SPACES; SIEMENS; SOFTWARE DEBUGGING;

AUTOMATION; COMPUTER SOFTWARE; EXPERIMENTS; SAFETY ENGINEERING;

PROGRAM DEBUGGING;

EID: 67650080110     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1101908.1101948     Document Type: Conference Paper

References (33)

1. H. Agrawal and J. Horgan, "Dynamic program slicing, " ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 246-256, 1990.
2. H. Agrawal, R. DeMillo, and E. Spafford, "Debugging with dynamic slicing and backtracking, " Software Practice and Experience (SP&E), Vol. 23, No. 6, pages 589-616, 1993.
3. H. Agrawal, J. R. Horgan, E. W., and S. A. London, "Incremental regression testing, " IEEE Conference on Software Maintenance (ICSM), Montreal, Canada, 1993.
4. H. Agrawal, J. Horgan, S. London, and W. Wong, "Fault localization using execution slices and dataflow tests, " Sixth IEEE International Symposium on Software Reliability Engineering (ISSRE), pages 143-151, 1995.
5. AskIgor, Automated Debugging Service. http://www.st.cs.uni-sb.de/askigor
6. A. Beszedes, T. Gergely, Z. M. Szabo, J. Csirik, and T. Gyimothy, "Dynamic slicing method for maintenance of large C programs, " 5th European Conference on Software Maintenance and Reengineering (CSMR), pages 105-113, March 2001.
7. H. Cleve and Andreas Zeller, "Locating causes of program failures, " 27th International Conference on Software Engineering (ICSE), pages 342-351, 2005.
8. Diablo Is A Better Link-time Optimizer. http://www.elis.ugent.be/diablo
9. T. Gyimothy, A. Beszedes, I. Forgacs, "An efficient relevant slicing method for debugging, " 7th European Software Engineering Conference/7th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE), Toulouse, France, 1999.
10. S. Hangal and M. S. Lam, "Tracking down software bugs using automatic anomaly detection, " International Conference on Software Engineering (ICSE), 2002.
11. M. J. Harrold, G. Rothermel, K. Sayre, R. Wu, and L. Yi, "An empirical investigation of the relationship between spectra differences and regression faults, " Journal of Software Testing Verification and Reliability, 10 (3):171-194, 2000.
12. H. He and N. Gupta, "Automated Debugging using Path-Based Weakest Preconditions, " Fundamental Approaches to Software Engineering (FASE), ETAPS Joint Conference, Barcelona, Spain, March 29-31, 2004.
13. http://www.cse.unl.edu/~galileo/sir
14. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand, "Experiments on the effectiveness of dataflow and controlflow based test adequacy criteria, " 16th International Conference on Software Engineering (ICSE), pages 191-200, 1994.
15. Information Week, Issue on Software Quality, Jan 21, 2002.
16. J. A. Jones, M. J. Harrold, and J. Stasko, "Visualization of test information to assist fault localization, " International Conf. on Software Engineering (ICSE), page 467-477, 2002.
17. B. Korel and J. Laski, "Dynamic program slicing, " Information Processing Letters (IPL), Vol. 29, No. 3, pages 155-163, 1988.
18. B. Korel and J. Rilling, "Application of dynamic slicing in program debugging, " 3rd International Workshop on Automatic Debugging (AADEBUG), Linkoping, 1997.
19. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan, "Bug isolation via remote program sampling, " SIGPLAN Conference on Programming Language Design and Implementation (PLDI), San Diego, California, June 2003.
20. S. Narayanaswamy, G. Pokam, and B. Calder, "BugNet: continuously recording program execution for deterministic replay debugging, " 32nd International Symposium on Computer Architecture (ISCA), pages 284-295, 2005.
21. M. Renieris and S. Reiss, "Fault localization with nearest neighbor queries, " Automated Software Engineering (ASE), 2003.
22. The Unravel Project. http://hissa.nist.gov/unravel
23. Valgrind. http://valgrind.org
24. M. Weiser, "Program slicing, " IEEE Transactions on Software Engineering (TSE), Vol. SE-10, No. 4, pages 352-357, 1982.
25. Y. Xie and D. Engler, "Using Redundancies to Find Errors, " ACM SIFSOFT International Symposium on Foundations of Software Engineering (FSE), pages 51-60, 2002.
26. A. Zeller, "Isolating cause-effect chains from computer programs, " 10th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), Charleston, South Carolina, 2002.
27. A. Zeller, "Yesterday, my program worked. Today, it does not. Why?, " Seventh European Software Engineering Conference/Seventh ACM SIGSOFT Symposium on Foundations of Software Engineering (ESEC/FSE), pages 253-267, Sept. 1999.
28. A. Zeller and R. Hildebrandt, "Simplifying and isolating failure-inducing input, " IEEE Transactions on Software Engineering (TSE), Vol 28, No 2, Feb. 2002.
29. X. Zhang, R. Gupta, and Y. Zhang "Precise dynamic slicing algorithms, " IEEE/ACM International Conference on Software Engineering (ICSE), pages 319-329, Portland, Oregon, May 2003.
30. X. Zhang, R. Gupta, and Y. Zhang, "Effective forward computation of dynamic slices using reduced ordered binary decision diagrams, " IEEE International Conference on Software Engineering (ICSE), pages 502-511, 2004.
31. X. Zhang, H. He, N. Gupta and R. Gupta, "Experimental evaluation of using dynamic slices for fault location, " Sixth International Symposium on Automated and Analysis-Driven Debugging (AADEBUG), Monterey, California, September 2005.
32. X. Zhang and R. Gupta, "Cost effective dynamic program slicing, " ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 94-106, Washington D. C., June 2004.
33. P. Zhou, W. Liu, L. Fei, S. Lu, F. Qin, Y. Zhou, S. P. Midkiff, and J. Torrellas, "AccMon: automatically detecting memory-related bugs via program counter-based invariants, " 37th Annual International Symposium on Microarchitecture (MICRO), pages 269-280, 2004.