Locating faults through automated predicate switching

Proceedings - International Conference on Software Engineering

Volumn 2006, Issue , 2006, Pages 272-281

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

^a University of Arizona   (United States)

Author keywords

Automated debugging; Dynamic slicing; Predicate switching

Indexed keywords

AUTOMATION; CODES (SYMBOLS); DYNAMIC PROGRAMMING; FAULT TOLERANT COMPUTER SYSTEMS; PROGRAM DEBUGGING; SEARCH ENGINES;

AUTOMATED DEBUGGING; DYNAMIC SLICING; PREDICATE SWITCHING; PROGRAM STATES;

ERROR DETECTION;

EID: 34247096141     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1134285.1134324     Document Type: Conference Paper

References (26)

1. H. Agrawal and J. Horgan, "Dynamic Program Slicing," SIGPLAN Conference on Programming Language Design ami Implementation, pages 246-256, 1990.
2. H. Cleve and A. Zeller, "Locating Causes of Prograin Failures," 27th International Conf. on Software Engineering, pages 342-351, 2005.
3. N. Gupta, H. He, X. Zhang, and R. Gupta, "Locating Faulty Code Using Failure-Inducing Chops," IEEE/ACM International Conf. on Automated Software Engineering, Long Beach, CA, Nov. 2005.
4. S. Hangal and M.S.Lam, "Tracking Down Software Bugs Using Automatic Anomaly Detection," International Conference on Software Engineering, 2002.
5. 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.
6. H. He and N. Gupta, "Automated Debugging using Path-Based Weakest Preconditions," Fundamental Approaches to Software Engineering, Barcelona, Spain, 2004.
7. R. Hildebrandt and A. Zeller, "Simplifying Failure-inducing Input," International Symposium, on Software Testing and Analysis, pages 135-145, 2000.
8. J.A. Jones, "Fault Localization Using Visualization of Test Information", 26th International Conference on Software Engineering, page 54-56,2004.
9. B. Korel and J. Laski, "Dynamic program slicing," Information Processing Letters, (29)3:155-163, 1988.
10. 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, San Diego, California, June 2003.
11. B. Pytlik, M. Renieris, S. Krishnamurthi, and S. Reiss, "Automated Fault Localization Using Potential Invariants," Fifth Int. Workshop on Automated and Algorithmic Debugging, Ghent, Belgium, Sept. 2003.
12. M. Renieris and S. Reiss, "Fault Localization with Nearest Neighbor Queries," Automated Software Engineering, 2003.
13. M. Weiser, "Program Slicing," IEEE Transactions on Software Engineering, Vol. SE-10, No. 4, pages 352-357, 1982.
14. Y. Xie and D. Engler, "Using Redundancies to Find Errors," ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 51-60, 2002.
15. A. Zeller, "Isolating Cause-effect Chains from Computer Programs," SIGSOFT Symposium on Foundations of Software Engineering, Charleston, South Carolina, US, 2002.
16. A. Zeller, "Yesterday, my program worked. Today, it does not. Why?," 7th European Software Engineering Conference/ 7th ACM SIGSOFT Symposium on Foundations of Software Engineering, pages 253-267, Sept. 1999.
17. A. Zeller and R. Hildebrandt, "Simplifying and Isolating Failure-inducing Input," IEEE Transactions on Software Engineering, Vol 28, No 2, Feb. 2002.
18. X. Zhang, R. Gupta, and Y. Zhang, "Precise Dynamic Slicing Algorithms," IEEE International Conference on Software Engineering, pages 319-329, Portland, Oregon, May 2003.
19. 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, pages 502-511, May 2004.
20. X. Zhang and R. Gupta, "Cost Effective Dynamic Program Slicing," SIGPLAN Conference on Programming Language Design and Implementation, pages 94-106, June 2004.
21. 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, Monterey, California, September 2005.
22. X. Zhang, N. Gupta, and R. Gupta, "Pruning Dynamic Slices With Confidence," SIGPLAN Conference on Programming Language Design and Implementation, to appear, June 2006.
23. P. Zhou, W. Liu, f. Long, S. Lu, F. Qin, Y. Zhou, S. Midkiff, and J. Torrelas, "Accmon: Automatically Detecting Memory-related Bugs via Program Counter-based Invariants," International Symposium on Microarchitecture, pages 269-280, Nov. 2004.
24. http://www.cse.unl.edu/~galileo/sir
25. http://www.elis.ugent.be/diablo/
26. http://valsrind.org/