Critical slicing for software fault localization

Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996

Volumn , Issue , 1996, Pages 121-134

  Demillo, Richard A ^a   Pan, Hsin ^b   Spafford, Eugene H ^c  

^a TELCORDIA TECHNOLOGIES   (United States)

^b NATIONAL CHIAO TUNG UNIVERSITY   (Taiwan)

^c PURDUE UNIVERSITY   (United States)

Author keywords

critical slicing; debugging; dynamic program slicing; failures; fault localization; faults; mutation analysis; static program slicing; testing

Indexed keywords

COMPUTER DEBUGGING; FAILURE (MECHANICAL); FAULTING; SOFTWARE RELIABILITY; SOFTWARE TESTING; TESTING;

CRITICAL SLICING; DYNAMIC PROGRAM SLICING; FAULT LOCALIZATION; MUTATION ANALYSIS; STATIC PROGRAM;

PROGRAM DEBUGGING;

EID: 79959913892     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/229000.226310     Document Type: Conference Paper

References (41)

1. H. Agrawal, R. A. DeMillo, B. Hathaway, W. Hsu, W. Hsu, E. W. Krauser, R. 3. Martin, A. P. Mathur, and E. H. Spafford. Design of mutant operators for the C programming language. Technical Report SERCTR-41-P, Software Engineering Research Center, Purdue University, West Lafayette, Indiana, March 1989.
2. H. Agrawal, R. A. DeMillo, and E. H. Spafford. Dynamic slicing in the presence of unconstrained pointers. In Proceedings of the 1991 Symposium on Software Testing, Analysis, and Verification (TA V4), pages 60-73, Victoria, British Columbia, Canada, October 8-10 1991.
3. H. Agrawal, R. A. DeMillo, and E. H. Spafford. Debugging with dynamic slicing and backtracking. Software Practice and Experience, 23(6):589-616, June 1993.
4. H. Agrawal and J. R. Horgan. Dynamic program slicing. In Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, pages 246-256, White Plains, New York, June 1990. (ACM SIGPLAN Notices, 25(6), June 1990).
5. H. Agrawal and E. H. Spafford. A bibliography on debugging and backtracking. ACM Software Engineering Notes, 14(2):49-56, April 1989.
6. Hiralal Agrawal. Towards Automatic Debugging of Computer Programs. PhD thesis, Purdue University, West Lafayette, Indiana, August 1991. (Also released as Technical Report SERC-TR-103-P, Software Engineering Research Center, Purdue University, West Lafayette, Indiana, September 1991).
7. ANSI/IEEE. IEEE Standard Glossary of Software Enginnering Terminology. IEEE Std 729-1983. IEEE, New York, 1983.
8. B. W. Boehm. Software Enginnering Economics. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1981.
9. R. S. Boyer, E. Elspas, and K. N. Levitt. SELECT-A system for testing and debugging programs by symbolic execution. In Proceedings of International Conference on Reliable Software, pages 234-245, 1975. ( ACM SIGPLAN Notices, 10(6), June 1990).
10. Gordon H. Bradley. Algorithm and bound for the greatest common divisor of n integers. Communications of the ACM, 13(7):433-436, July 1970.
11. T. A. Budd. Mutation Analysis of Program Test Data. PhD thesis, Yale University, New Haven, Connecticut, 1980.
12. T. A. Budd, R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Theoretical and empirical studies of using program mutation to test the functional correctness of programs. In Proceedings of the 7th ACM Symposium on Principles of Programming Languages, pages 220-233, Las Vegas, January 1980.
13. B. J. Choi, R. A. DeMillo, E. W. Krauser, R. J. Martin, A. P. Mathur, A. J. Offutt, H. Pan, and E. H. Spafford. The Mothra tool set. In Proceedings of the P2nd Annual Hawaii International Conference on Systems Sciences, pages 275-284, Kona, Hawaii, January 1989.
14. M. E. Delamaro. Um ambiente de teste baseado na ani1ise de mutantes (proteum: A test environment based on mutation analysis). Master's thesis, ICMSC-USP, Sio Carlos, SP, Brazil, October 1993.
15. M. E. Delamaro, J. C. Maldonado, M. Jino, and M.L.Chalm. Proteum: Uma ferramenta de teste baseada na ani1ise de mutantes (proteum: A testing tool based on mutation analysis). In Software Tools Proceedings of VII Brazilian Symposium on Software Engineering, Oct 1993.
16. R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. Computer, 11(4):34-43, April 1978.
17. R. A. DeMillo, H. Pan, and E. H. Spafford. Failure and fault analysis for software debugging. Technical Report 03.574, Application Development Technology Institute, Software Solutions Division, I.B.M., San Jose, Califorilia, July 1994.
18. Phyllis G. Frankl and Stewart N. Weiss. An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria. In Proceedings of the 1991 Symposium on Software Testing, Analysis and Verification (TAV4), pages 154-164, Victoria, British Columbia, Canada, October 8-10 1991.
19. M. Geller. Test data as an aid in proving program correctness. Communications of the ACM, 21(5):368-375, May 1978.
20. J. B. Goodenough and S. L. Gerhart. Towards a theory of test data selection. IEEE Transactions on Software Engineering, SE-1(2):156-173, June 1975.
21. F. Gustavson. Remark on algorithm 408. ACM Transactions on Mathematical Software, 4:295, 1978.
22. C. Hoare. Algorithm 65: FIND. Communications of the ACM, 4(1):321, April 1961.
23. J. R. Horgan and S. London. Data flow coverage and the C language. In Proceedings of the 1991 Symposium on Software Testing, Analysis, and Verification (TAV4), pages 87-97, Victoria, British Columbia, Canada, October 8-10 1991.
24. Bogdan Korel. PELAS-program error-locating assistant system. 1EEE Transactions on Software Engineering, SE-14(9):1253-1260, September 1988.
25. Edward W. Krauser, Jr. Compiler-Integrated Software Testing. PhD thesis, Purdue University, West Lafayette, Indiana, December 1991. (Also released as Technical Report SERC-TR-118-P, Software Engineering Research Center, Purdue University, West Lafayette, Indiana, July 1992).
26. Myron Lipow. Prediction of software failures. The Journal of Systems and Software, 1(1):71-75, 1979.
27. J. M. McNamee. Algorithm 408: A sparse matrix package (part I) [f4]. Communications of the ACM, 14(4):265-273, April 1971.
28. Glenford J. Myers. The Art of Software Testing. John Wiley & Sons, Inc., New York, 1979.
29. P. Naur. Programming by action clusters. BIT, 9:250-258, 1969.
30. H. Pan and E. H. Spafford. Toward automatic localization of software faults. In Proceedings of the lOth Pacific Northwest Software Quality Conference, pages 192-209, Portland, Oregon, October 19-21 1992.
31. Hsin Pan. Debugging with dynamic instrumentation and test-based knowledge. Technical Report SERCTR-105-P, Software Engineering Research Center, Purdue University, West Lafayette, Indiana, September 1991.
32. Hsin Pan. Software Debugging with Dynamic Instrumentation and Test-Based Knowledge. PhD thesis, Purdue University, West Lafayette, Indiana, August 1993. (Also released as Technical Report SERC-TR-145-P, Software Engineering Research Center, Purdue University, West Lafayette, Indiana, August 1993).
33. Roger S. Pressman. Software Enginnering: A Practitioner's Approach. McGraw-Hill, Inc., New York, second edition, 1987.
34. C. V. Ramamoorthy, S. F. Ho, and W. T. Chen. On the automated generation of program test data. IEEE Transactions on Software Engineering, SE-2(4):293-300, December 1976.
35. Richard M. Stallman. GDB Manual, third edition, GDB version 3.4. Free Software Foundation, Cambridge, Massachusetts, October 1989.
36. Richard M. Stallman. Using and Porting GNU CC, version 1.37. Free Software Foundation, Cambridge, Massachusetts, January 1990.
37. Frank Tip. A survey of program slicing techniques. Technical Report CS-R9438, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, The Netherlands, 1994.
38. Iris Vessey. Expertise in debugging computer programs: A process analysis. International Journal of Man-Machine Studies, 23(5):459-494, November 1985.
39. Mark Weiser. Programmers use slices when debugging. Communications of the ACM, 25(7):446-452, July 1982.
40. Mark Weiser. Program slicing. IEEE Transactions on Software Engineering, SE-10(4):352-357, July 1984.
41. W. E. Wong, J. C. Maldonado, M. E. Delamaro, and A. P. Mathur. Constrained mutation in C programs. In Proceedings of VIII Symposium on Software Enginering, Oct 1994. in Curitiba, Brazil.