1: \begin{thebibliography}{ECGN01}
2:
3: \bibitem[CS98]{choi/srinivasan/98/spdt}
4: Jong-Deok Choi and Harini Srinivasan.
5: \newblock Deterministic replay of {Java} multithreaded applications.
6: \newblock In {\em Proc. ACM SIGMETRICS Symposium on Parallel and Distributed
7: Tools (SPDT)}, pages 48--59, August 1998.
8:
9: \bibitem[Dij72]{dijkstra/72/ap}
10: Edsger~W. Dijkstra.
11: \newblock Notes on structured programming.
12: \newblock In Ole-Johan Dahl, Edsger~W. Dijkstra, and C.~A.~R. Hoare, editors,
13: {\em Structured Programming}, chapter~1, pages 1--82. Academic Press, London,
14: 1972.
15:
16: \bibitem[ECGN01]{ernst/etal/2001/tse}
17: Michael~D. Ernst, Jake Cockrell, William~G. Griswold, and David Notkin.
18: \newblock Dynamically discovering likely program invariants to support program
19: evolution.
20: \newblock {\em IEEE Transactions on Software Engineering}, 27(2):1--25,
21: February 2001.
22:
23: \bibitem[HL02]{hangal/lam/2002/icse}
24: Sudheendra Hangal and Monica~S. Lam.
25: \newblock Tracking down software bugs using automatic anomaly detection.
26: \newblock In ICSE 2002 \cite{icse-2002}, pages 291--302.
27:
28: \bibitem[ICS02]{icse-2002}
29: {\em Proc. International Conference on Software Engineering (ICSE)}, Orlando,
30: Florida, May 2002.
31:
32: \bibitem[JHS02]{jones/etal/2002/icse}
33: James~A. Jones, Mary~Jean Harrold, and John Stasko.
34: \newblock Visualization of test information to assist fault localization.
35: \newblock In ICSE 2002 \cite{icse-2002}, pages 467--477.
36:
37: \bibitem[LW87]{lyle/weiser/87/icam}
38: J.~R. Lyle and M.~Weiser.
39: \newblock Automatic program bug location by program slicing.
40: \newblock In {\em 2nd International Conference on Computers and Applications},
41: pages 877--882, Peking, 1987. IEEE Computer Society Press, Los Alamitos,
42: California.
43:
44: \bibitem[{RTI}02]{nist/2002/testing}
45: {RTI}.
46: \newblock The economic impacts of inadequate infrastructure for software
47: testing.
48: \newblock Technical Report Planning Report 02-3, National Institute of
49: Standards \& Technology, May 2002.
50:
51: \bibitem[SA97]{sosic/abramson/97/spe}
52: Rok Sosi\u{c} and David Abramson.
53: \newblock Guard: A relative debugger.
54: \newblock {\em Software---Practice and Experience}, 27(2):185--106, February
55: 1997.
56:
57: \bibitem[Sha82]{shapiro/83/mit}
58: Ehud~Y. Shapiro.
59: \newblock {\em Algorithmic Program Debugging}.
60: \newblock PhD thesis, MIT Press, 1982.
61: \newblock ACM Distinguished Dissertation.
62:
63: \bibitem[Tip95]{tip/95/jpl}
64: Frank Tip.
65: \newblock A survey of program slicing techniques.
66: \newblock {\em Journal of Programming Languages}, 3(3):121--189, September
67: 1995.
68:
69: \bibitem[Wei82]{weiser/82/cacm}
70: M.~Weiser.
71: \newblock Programmers use slices when debugging.
72: \newblock {\em Communications of the ACM}, 25(7):446--452, 1982.
73:
74: \bibitem[Zel99]{zeller/99/esec}
75: Andreas Zeller.
76: \newblock Yesterday, my program worked. {T}oday, it does not. {W}hy?
77: \newblock In {\em Proc.\ ESEC/FSE'99 -- 7th~European Software Engineering
78: Conference / 7th~{ACM} {SIGSOFT} Symposium on the Foundations of Software
79: Engineering}, volume 1687 of {\em Lecture Notes in Computer Science}, pages
80: 253--267, Toulouse, France, September 1999. Springer-Verlag.
81:
82: \bibitem[Zel02]{zeller/2002/fse}
83: Andreas Zeller.
84: \newblock Isolating cause-effect chains from computer programs.
85: \newblock In William~G. Griswold, editor, {\em Proc.\ Tenth {ACM} {SIGSOFT}
86: Symposium on the Foundations of Software Engineering ({FSE}-10)}, pages
87: 1--10, Charleston, South Carolina, November 2002. ACM Press.
88:
89: \bibitem[Zel03]{zeller/2003/woda}
90: Andreas Zeller.
91: \newblock Program analysis: A hierarchy.
92: \newblock In Jonathan~E. Cook and Michael Ernst, editors, {\em Proc. ICSE 2003
93: Workshop on Dynamic Analysis (WODA 2003)}, Portland, Oregon, May 2003.
94: \newblock Available online at http://www.cs.nmsu.edu/$\sim$jcook/woda2003/.
95:
96: \bibitem[ZH02]{zeller/hildebrandt/2002/tse}
97: Andreas Zeller and Ralf Hildebrandt.
98: \newblock Simplifying and isolating failure-inducing input.
99: \newblock {\em IEEE Transactions on Software Engineering}, 28(2):183--200,
100: February 2002.
101:
102: \end{thebibliography}
103: