Automated bug isolation via program chipping

Software - Practice and Experience

Volumn 37, Issue 10, 2007, Pages 1061-1086

  Sterling, Chad D ^a,b   Olsson, Ronald A ^a,c  

^a University of California Davis   (United States)

^b HEWLETT PACKARD COMPANY   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Bug isolation; Data slicing; Debugging; Program chipping; Program slicing

Indexed keywords

JAVA PROGRAMMING LANGUAGE; PROGRAM COMPILERS; SOFTWARE ENGINEERING; SYNTACTICS; USER INTERFACES;

BUG ISOLATION; DATA SLICING; PROGRAM CHIPPING; PROGRAM SLICING;

PROGRAM DEBUGGING;

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

References (36)

1. Chan TW, Lakhotia A. Debugging program failure exhibited by voluminous data. Journal of Software Maintenance: Research and Practice 1998; 10:111-150.
2. Zeller A, Hildebrandt R. Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering 2002; 28(2): 183-200.
3. Sterling CD, Olsson RA. Automated bug isolation via program chipping. Proceedings of the 6th International Symposium on Automated and Analysis-Driven Debugging (AADEBUG 2005), Monterey, CA, 19-21 September 2005; 23-32.
4. Sterling CD. Automated bug isolation via program chipping. Master's Thesis, Department of Computer Science, University of California, Davis, CA, August 2005.
5. SourceForge. SRC Tkdiff, 2004. http://sourceforge.net/projects/tkdift7 [14 November 2006].
6. Habra A. The General String library, http://www.tek271.com/free/ gsoverview.html [14 November 2006].
7. Griswold RE, Griswold MT. The Icon Programming Language (3rd edn). Peer-to-Peer Communications, 1996. http://www.cs.arizona.edu/icori/lb3.htm [14 November 2006].
8. Sun Microsystems. The Java bug database, http://bugs.sun.com/bugdatabase/ index.jsp [14 November 2006].
9. Lindholm T, Yellin F. The JavaTM Virtual Machine Specification (2nd edn). Sun Microsystems, 2005. http://java.sun.com/docs/books/vmspec/2nd-edition/html/ VMSpecTOC.doc.html [14 November 2006].
10. Eclipse.org. The Eclipse development environment, http://www.eclipse.org [14 November 2006].
11. DeMillo R, Lipton R, Sayward F. Hints on test data selection: Help for the practicing programmer. IEEE Transactions on Computers 1978; 12(4):34-41.
12. Offutt J, Untch R. Mutation 2000: Uniting the orthogonal. Proceedings of the International Conference on Mutation Testing in the Twentieth and the Twenty First Centuries (Mutation 2000), San Jose, CA, 2000. Kluwer: Norwell, MA, 2000; 45-55.
13. LeBlanc TJ, Mellor-Crummey JM. Debugging parallel programs with instant replay. IEEE Transactions on Computers 1987; 36(4):471-482.
14. Olsson RA. Reproducible execution of SR programs. Concurrency - Practice and Experience 1999; 11(9):479-507.
15. Ronsse M, De Bosschere K. Recplay: A fully integrated practical record/replay system. ACM Transactions on Computer Systems 1999; 17(2):133-152.
16. Cornelis F. Linux Input Replay, http://www.frankcornelis.be/replay.html [14 November 2006].
17. SimCon. FPT-the Fortran Partner, http://www.simcon.uk.com/ [14 November 2006].
18. Vertes M. XLAB: A tool to automate graphical user interfaces. Linux Weekly News 1998; (May). Available at: http://mvertes.free.fr/xlab/xlab.html [14 November 2006].
19. Misherghi G, Su Z. HDD: Hierarchical delta debugging. Proceedings of the 28th International Conference on Software Engineering (ICSE 2006). ACM Press: New York, 2006; 142-151.
20. Weiser M. Program slicing. IEEE Transactions on Software Engineering 1984; 10(4):352-357.
21. Tip F. A survey of program slicing techniques. Journal of Programming Languages 1995; 3:121-189.
22. Venkatesh GA. The semantic approach to program slicing. Proceedings of the 1991 ACM SIGPLAN Conference on Programming Language Design and Implementation, Toronto, ON, 26-28 June 1991. ACM Press: New York, 1991; 107-119.
23. Horwitz S, Reps T, Binkley D. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems 1990; 12(1):26-60.
24. Agrawal G, Guo L. Evaluating explicitly context-sensitive program slicing. Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2001), Snowbird, UT, 18-19 June 2001. ACM Press: New York, 2001; 6-12.
25. Weiser M, Lyle JR. Experiments on slicing-based debugging aids. Empirical Studies for Programmers. Ablex: Westpoint, CT, 1986.
26. Chen TY, Cheung YY. On program dicing. Journal of Software Maintenance 1997; 9(1):33-66.
27. Agrawal H, Horgan J. Dynamic program slicing. Proceedings of the 1990 ACM SIGPLAN Conference on Programming Language Design and Implementation, White Plains, NY, 20-22 June 1990. ACM Press: New York, 1990; 246-256.
28. Horwitz S. Identifying the semantic and textual differences between two versions of a program. Proceedings of the 1990 ACM SIGPLAN Conference on Programming Language Design and Implementation, White Plains, NY, 20-22 June 1990. ACM Press: New York, 1990; 234-245.
29. Griswold WG. Making slicing practical: The final mile. Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2001), Snowbird, UT, 18-19 June 2001. ACM Press: New York, 2001.
30. Bandera Project. The Bandera sheer, http://bandera.projects.cis.ksu.edu/ [14 November 2006].
31. Agrawal H, DeMillo RA, Spafford EH. Debugging with dynamic slicing and backtracking. Software: Practice and Experience 1993; 23(6):589-616.
32. Applied Research. xSlice: A tool for program debugging. http://xsuds.argreenhouse.com/html-man/xslice.html [14 November 2006].
33. Jones JA, Harrold MJ, Stasko J. Visualization of test information to assist fault localization. Proceedings of the 24th IEEE International Conference on Software Engineering (ICSE-02), Orlando, FL, May 2002. ACM Press: New York, 2002; 467-477.
34. DeMillo RA, Pan H, Spafford EH. Failure and fault analysis for software debugging. Proceedings of the 20th IEEE International Conference on Computer Software and Applications (COMPSAC 97). IEEE Computer Society Press: Washington, DC, 1997; 515-521.
35. Fritzson P, Gyimothy T, Kamkar M, Shahmehri N. Generalized algorithmic debugging and testing. Proceedings of the 1991 ACM SIGPLAN Conference on Programming Language Design and Implementation, Toronto, ON, 26-28 June 1991. ACM Press: New York, 1991; 317-326.
36. Hierons R, Harman M, Danicic S. Using program slicing to assist in the detection of equivalent mutants. Software Testing, Verification and Reliability 1999; 9(4):233-262.