Locating faulty code by multiple points slicing

Software - Practice and Experience

Volumn 37, Issue 9, 2007, Pages 935-961

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

^a Gould Simpson Building   (United States)

Author keywords

Bidirectional dynamic slice; Dynamic backward slice; Dynamic dependence graph; Fault location; Forward dynamic slice; Multiple points dynamic slice

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; PROGRAM DEBUGGING;

BIDIRECTIONAL DYNAMIC SLICE; DYNAMIC BACKWARD SLICE; DYNAMIC DEPENDENCE GRAPH; DYNAMIC SLICES; FAULT LOCATION; FORWARD DYNAMIC SLICE; MULTIPLE POINTS DYNAMIC SLICE;

CODES (SYMBOLS);

EID: 34547235695     PISSN: 00380644     EISSN: 1097024X     Source Type: Journal    
DOI: 10.1002/spe.795     Document Type: Article

References (42)

1. Weiser M. Program slicing. IEEE Transactions on Software Engineering 1982; 10(4):352-357.
2. Korel B, Laski J. Dynamic program slicing. Information Processing Letters 1988; 29(3): 155-163.
3. Zhang X, Gupta R. Cost effective dynamic program slicing. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2004. ACM Press: New York, 2004; 94-106.
4. Gupta N, He H, Zhang X, Gupta R. Locating faulty code using failure-inducing chops. Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, Long Beach, CA, November 2005. ACM Press; New York, 2005; 263-272.
5. Zhang X, Gupta N, Gupta R. Locating faults through automated predicate switching. Proceedings of the International Conference on Software Engineering, Shanghai, China, May 2006. ACM Press: New York, 2006.
6. Zeller A. Why Programs Fail: A Guide to Systematic Debugging. Morgan Kaufmann: San Fransisco, CA, 2005.
7. Agrawal H, Horgan J. Dynamic program slicing. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press: New York, 1990; 246-256.
8. Agrawal H, DeMillo R, Spafford E. Debugging with dynamic slicing and backtracking. Software: Practice and Experience 1993; 23(6):589-616.
9. Zhang X, He H, Gupta N, Gupta R. Experimental evaluation of using dynamic slices for fault location. Proceedings of the SIGSOFT-SIGPLAN 6th International Symposium on Automated and Analysis-Driven Debugging, Monterey, CA, September 2005. ACM Press: New York, 2005; 33-42.
10. Agrawal H, Horgan JR, Krauser EW, London SA. Incremental regression testing. Proceedings of the IEEE Conference on Software Maintenance, Montreal, Canada, 1993. IEEE: Piscataway, NJ, 1993; 348-357.
11. Zeller A. Yesterday, my program worked. Today, it does not. Why? Proceedings of the 7th European Software Engineering Conference, 7th ACM SIGSOFT Symposium on Foundations of Software Engineering, September 1999. Springer: Berlin, 1999; 253-267.
12. Hildebrandt R, Zeller A. Simplifying failure-inducing input. Proceedings of the International Symposium on Software Testing and Analysis. ACM Press: New York, 2000; 135-145.
13. Zeller A, Hildebrandt R. Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering 2002; 28(2): 183-200.
14. Hutchins M, Foster H, Goradia T, Ostrand T. Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria. Proceedings of the 16th International Conference on Software Engineering. ACM Press: New York, 1994; 191-200.
15. Software-artifact Infrastructure Repository, http://www.cse.unl.edu/ ~galileo/sir.
16. Valgrind. http://valgrind.org/.
17. Diablo Is A Better Link-time Optimizer, http://www.elis.ugent.be/diablo/.
18. SourceForge. http://soureforge.net/.
19. Savannah, http://savannah.gou.org/.
20. Gmane: Bug Reports and Development Discussion, http://comments.gmane.org/ gmane.comp.gnu.grep.bugs/.
21. Zhou P, Liu W, Fei L, Lu S, Qin F, Zhou Y, Midkiff SP, Torrellas J. AccMon: Automatically detecting memory-related bugs via program counter-based invariants. Proceedings of the 37th Annual International Symposium on Microarchitecture. IEEE: Piscataway, NJ, 2004; 269-280.
22. Krinke J. Visualization of program dependence and slices. Proceedings of the International Conference on Software Maintenance. IEEE: Piscataway, NJ, 2004; 168-177.
23. Zhang X, Gupta R. Whole execution traces and their applications, ACM Transactions on Architecture and Code Optimization 2005; 2(3):301-334.
24. Zhang X, Gupta R, Zhang Y. Effective forward computation of dynamic slices using reduced ordered binary decision diagrams. Proceedings of the IEEE International Conference on Software Engineering, Edinburgh, U.K., 2004. ACM Press: New York, 2004; 502-511.
25. Beszedes A, Gergely T, Szabo ZM, Csirik J, Gyimothy T. Dynamic slicing method for maintenance of large C programs. Proceeding of the 5th European Conference on Software Maintenance and Reengineering, March 2001. IEEE: Piscataway, NJ, 2001; 105-113.
26. Kamkar M. Interprocedural dynamic slicing with applications to debugging and testing. PhD Thesis, Linköping University, 1993.
27. Korel B, Rilling J. Application of dynamic slicing in program debugging. Proceedings of the 3rd International Workshop on Automatic Debugging. Linköping Electronic Articles in Computer and Information Science: Linköping, Sweden, 1997; 43-58,
28. Agrawal H, Horgan J, London S, Wong W, Fault localization using execution slices and dataflow tests. Proceedings of the 6th IEEE International Symposium on Software Reliability Engineering. IEEE: Piscataway, NJ, 1995; 143-151.
29. Pan H, Spafford EH. Heuristics for automatic localization of software faults. Technical Report SERC-TR-116-P, Purdue University, 1992.
30. Wang T, Roychoudhary A. Using compressed bytecode traces for slicing java programs. Proceedings of the International Conference on Software Engineering. ACM Press: New York, 2004; 512-521.
31. Hammer C, Grimme M, Krinke J. Dynamic path conditions in dependence graphs. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics. ACM Press: New York, 2006; 58-67.
32. Chen TY, Cheung YY. Dynamic program dicing. Proceedings of the International Conference on Software Maintenance. IEEE: Piscataway, NJ, 1993; 378-385.
33. Zhang X, Gupta N, Gupta R. Pruning dynamic slices with confidence. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2006. ACM Press: New York, 2006; 169-180.
34. Zeller A. Isolating cause-effect chains from computer programs. Proceedings of the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering, Charleston, SC, 2002. ACM Press: New York, 2002; 1-10.
35. Cleve H, Zeller A. Locating causes of program failures, Proceedings of the 27th International Conference on Software Engineering. IEEE: Piscataway, NJ, 2005; 342-351.
36. Renieris M, Reiss S. Fault localization with nearest neighbor queries. Proceedings of the IEEE International Conference on Automated Software Engineering, 2003; 30-39.
37. Jones JA. Fault localization using visualization of test information. Proceedings of the 26th International Conference on Software Engineering. ACM Press: New York, 2004; 54-56.
38. Liu C, Yan X, Fei L, Han J, Midkiff S. SOBER: Statistical model-based bug localization. Proceedings of the 10th European Software Engineering Conference and 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering. ACM Press: New York, 2005; 286-295.
39. Liblit B, Aiken A, Zheng AX, Jordan MI. Bug isolation via remote program sampling. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press: New York, 2003; 141-154.
40. Harrold MJ, Rothermel G, Wu R, Yi L. An empirical investigation of program spectra. Proceedings of the ACM SlGPLAN Workshop on Program Analysis for Software Tools and Engineering. ACM Press: New York, 1998; 83-90.
41. Zhang X, Gupta R. Matching execution histories of program versions. Proceedings of the Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Lisbon, Portugal, September 2005. ACM Press: New York, 2005; 197-206.
42. Ruthruff JR, Burnett M, Rothermel G. An empirical study of fault localization for end-user programmers. Proceedings of the International Conference on Software Engineering. ACM Press: New York, 2005; 352-361.