Experimental evaluation of using dynamic slices for fault location

Proceedings of the 6th International Symposium on Automated and Analysis-Driven Debugging, AADEBUG 2005

Volumn , Issue , 2005, Pages 33-42

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

^a University of Arizona   (United States)

Author keywords

Data slice; Debugging; Full slice; Relevant slice

Indexed keywords

ALGORITHMS; FAULT TOLERANT COMPUTER SYSTEMS;

DATA SLICE; FAULT LOCATION; FULL SLICE; RELEVANT SLICE;

PROGRAM DEBUGGING;

EID: 29844458023     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1085130.1085135     Document Type: Conference Paper

References (25)

1. H. Agrawal and J. Horgan, "Dynamic Program Slicing," ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 246-256, 1990.
2. H. Agrawal, R. DeMillo, and E. Spafford, "Debugging with Dynamic Slicing and Backtracking," Software Practice and Experience, 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, pages 348-357, Montreal, Canada, 1993.
4. H. Agrawal, J. Horgan, S. London, and W. Wong, "Fault Localization Using Execution Slices and Dataflow Tests," 6th IEEE International Symposium on Software Reliability Engineering, pages 143-151, 1995.
5. 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, pages 105-113, March 2001.
6. H. Cleve and Andreas Zeller, "Locating Causes of Program Failures", 27th International Conference on Software Engineering, pages 342-351, 2005.
7. T. Gyimothy, A. Beszedes, I. Forgacs, "An Efficient Relevant Slicing Method for Debugging", 7th European Software Engineering Conference and 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 303-321, Toulouse, France, 1999.
8. R. Hildebrandt and A. Zeller, "Simplifying Failure-inducing Input", International Symposium on Software Testing and Analysis,pages 135-145,2000.
9. 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, pages 191-200, 1994.
10. J.A. Jones, "Fault Localization Using Visualization of Test Information", 26th International Conference on Software Engineering, page 54-56,2004.
11. M. Kamkar, "Intel-procedural Dynamic Slicing with Applications to Debugging and Testing," PhD Thesis, Linkoping University, 1993.
12. B. Korel and J. Laski, "Dynamic Program Slicing," Information Processing Letters, Vol. 29, No, 3, pages 155-163, 1988.
13. B. Korel and J. Rilling, "Application of Dynamic Slicing in Program Debugging," 3rd International Workshop on Automatic Debugging, pages 43-58, Linkoping, Sweden, 1997.
14. J. Lin-Nielsen. "BuDDy, A Binary Decision Diagram Package," Department of Information Technology, Technical University of Denmark, http://www.itu.dk/research/buddy/.
15. H. Pan and E. H. Spafford, "Heuristics for Automatic Localization of Software Faults", Technical Report SERC-TR-116-P, Purdue University, 1992.
16. M. Renieris and S. Reiss, "Fault Localization with Nearest Neighbor Queries," IEEE International Conference on Automated Software Engineering, pages 30-39, 2003.
17. T. Wang and A. Roychoudhury, "Using Compressed Bytecode Traces for Slicing Java Programs", 26th International Conference on Software Engineering, pages 512-521, Edinburgh, Scotland, UK, 2004.
18. M. Weiser, "Program Slicing," IEEE Transactions on Software Engineering, Vol. SE-10, No. 4, pages 352-357, 1982.
19. A. Zeller, "Isolating Cause-effect Chains from Computer Programs", 10th ACM SIGSOFT Symposium on Foundations of Software Engineering, pages 1-10, Charleston, South Carolina, 2002.
20. X. Zhang, R. Gupta, and Y. Zhang, "Precise Dynamic Slicing Algorithms," IEEE International Conference on Software Engineering, pages 319-329, Portland, Oregon, May 2003.
21. 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, Edinburgh, UK, 2004.
22. X. Zhang and R. Gupta, "Cost Effective Dynamic Program Slicing," ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 94-106, 2004.
23. http://www.cse.unl.edu/~galileo/sir
24. http://www.elis.ugent.be/diablo/
25. http://valgrind.org/