cs0309031/2003.bbl
1: \newcommand{\etalchar}[1]{$^{#1}$}
2: \begin{thebibliography}{SPS{\etalchar{+}}00}
3: 
4: \bibitem[AH90]{dynamic-slicing}
5: Hiralal Agrawal and Joseph~R. Horgan.
6: \newblock {Dynamic Program Slicing}.
7: \newblock In {\em {Proceedings of the ACM SIGPLAN '90 Conference on Programming
8:   Language Design and Implementation}}, pages 246--256, 1990.
9: 
10: \bibitem[Ber91]{occurrences}
11: Yves Bertot.
12: \newblock {Occurences in Debugger Specifications}.
13: \newblock In {\em {Proceedings of the ACM SIGPLAN '91 Conference on Programming
14:   Language Design and Implementation}}, pages 327--337, 1991.
15: 
16: \bibitem[BG96]{slicing-survey}
17: David~W. Binkley and Keith~Brian Gallagher.
18: \newblock {Program Slicing}.
19: \newblock {\em Advances in Computers}, 43:1--50, 1996.
20: 
21: \bibitem[BHV01]{prcjava}
22: Walter Binder, Jarle~G. Hulaas, and Alex Villaz\'{o}n.
23: \newblock {Portable Resource Control in Java}.
24: \newblock In {\em {Proceedings of OOPSLA'01 the Conference on Object Oriented
25:   Programming Systems Languages and Applications}}, pages 139--155, 2001.
26: 
27: \bibitem[Boo00]{boothe-bdb}
28: Bob Boothe.
29: \newblock {Efficient Algorithms for Bidirectional Debugging}.
30: \newblock In {\em {Proceedings of the ACM SIGPLAN '00 Conference on Programming
31:   Language Design and Implementation}}, pages 299--310, 2000.
32: 
33: \bibitem[CS98]{dejavu}
34: Jong-Deok Choi and Harini Srinivasan.
35: \newblock {Deterministic Replay of Java Multithreaded Applications}.
36: \newblock In {\em {Proceedings of the SIGMETRICS Symposium on Parallel and
37:   Distributed Tools}}, pages 48--59, 1998.
38: 
39: \bibitem[Dah99]{bcel}
40: Markus Dahm.
41: \newblock {Byte Code Engineering}.
42: \newblock In {\em {Java-Information-Tage 1999(JIT'99)}}, 1999.
43: \newblock \\http://bcel.sourceforge.net/.
44: 
45: \bibitem[Duc99]{coca-icse}
46: Mireille Ducass\'e.
47: \newblock {Coca: An Automated Debugger for C}.
48: \newblock In {\em Proceedings of the 1999 International Conference on Software
49:   Engineering}, pages 504--513, 1999.
50: 
51: \bibitem[FB88]{igor}
52: Stuart~I. Feldman and Channing~B. Brown.
53: \newblock {IGOR: A System for Program Debugging via Reversible Execution}.
54: \newblock In {\em Proceedings of the ACM SIGPLAN and SIGOPS Workshop on
55:   Parallel and distributed debugging}, pages 112--123, 1988.
56: 
57: \bibitem[HTY02]{bctrans-javacpu}
58: Yuta Hayami, Kenjiro Taura, and Akinori Yonezawa.
59: \newblock {Java Bytecode Transformation for Fine Grain CPU Resource
60:   Management}.
61: \newblock {\em {Transactions on Programming, Information Processing Society of
62:   Japan}}, 43(SIG3(PRO14)):41--51, 2002.
63: \newblock (In Japanese).
64: 
65: \bibitem[HZ00]{ddmin}
66: Ralf Hildebrandt and Andreas Zeller.
67: \newblock {Simplifying Failure-Inducing Input}.
68: \newblock In {\em Proceedings of the ACM SIGSOFT International Symposium on
69:   Software Testing and Analysis (ISSTA2000)}, pages 135--145, 2000.
70: 
71: \bibitem[Inc92]{ince-z}
72: D.~C. Ince.
73: \newblock {\em {An Introduction to Discrete Mathematics, Formal System
74:   Specification, and Z, Second Edition}}.
75: \newblock Oxford University Press Inc., 1992.
76: 
77: \bibitem[JZTB98]{cci-light}
78: Clinton~L. Jeffery, Wenyi Zhou, Kevin Templer, and Michael Brazell.
79: \newblock {A Lightweight Architecture for Program Execution Monitoring}.
80: \newblock In {\em {Proceedings of the ACM Workshop on Program Analysis for
81:   Software Tools and Engineering}}, pages 67--74, 1998.
82: 
83: \bibitem[LF97]{zstep}
84: Henry Lieberman and Christopher Fry.
85: \newblock {ZStep 95: A Reversible, Animated Source Code Stepper}.
86: \newblock In Blaine~Price John~Stasko, John~Domingue and Marc Brown, editors,
87:   {\em Software Visualization: Programming as a Multimedia Experience}. MIT
88:   Press, 1997.
89: 
90: \bibitem[Lie87]{ecoop87}
91: Henry Lieberman.
92: \newblock {Reversible Object-Oriented Interpreters}.
93: \newblock {\em First European Conference on Object-Oriented Programming}, 1987.
94: 
95: \bibitem[LS95]{eel}
96: James~R. Larus and Eric Schnarr.
97: \newblock {EEL: Machine-Independent Executable Editing}.
98: \newblock In {\em {Proceedings of the ACM SIGPLAN '95 Conference on Programming
99:   Language Design and Implementation}}, pages 291--300, 1995.
100: 
101: \bibitem[LY99]{javavmspec}
102: Tim Lindholm and Frank Yellin.
103: \newblock {\em {The Java Virtual Machine Specification (2nd Edition)}}.
104: \newblock Addison-Wesley Pub. Co., 1999.
105: 
106: \bibitem[Mey91]{meyer}
107: Bertrand Meyer.
108: \newblock {\em {Introduction to the Theory of Programming Languages}}.
109: \newblock Prentice Hall, Inc., 1991.
110: 
111: \bibitem[Moh88]{provide}
112: Thomas~G. Moher.
113: \newblock {PROVIDE: A Process Visualization and Debugging Environment}.
114: \newblock {\em IEEE Transactions on Software Engineering}, 14(6):849--857,
115:   1988.
116: 
117: \bibitem[MT00]{kazutaka-revfunc}
118: Kazutaka Maruyama and Minoru Terada.
119: \newblock {One-pass Pseudo Reverse Execution of C Programs}.
120: \newblock {\em Transactions on Programming, Information Processing Society of
121:   Japan}, 41(SIG9(PRO8)):1--7, 2000.
122: \newblock (In Japanese).
123: 
124: \bibitem[Ros97]{howdebuggerswork}
125: Jonathan~B. Rosenberg.
126: \newblock {\em {How Debuggers Work}}.
127: \newblock John Wiley \& Sons, Inc., 1997.
128: 
129: \bibitem[SPS{\etalchar{+}}00]{gdb}
130: Richard Stallman, Roland Pesch, Stan Shebs, et~al.
131: \newblock {\em {Debugging with GDB -- The GNU Source-Level Debugger -- Eighth
132:   Edition}}, 2000.
133: \newblock (Included in GDB source tree).
134: 
135: \bibitem[Sta]{specjvm98}
136: The Standard Performance Evaluation Corporation.
137: \newblock {\em {SPEC JVM98 Benchmarks}}.
138: \newblock \\http://www.spec.org/osg/jvm98/.
139: 
140: \bibitem[Sta99]{gcc}
141: Richard~M. Stallman.
142: \newblock {\em {Using and Porting the GNU Compiler Collection}}.
143: \newblock Free Software Foundation, 1999.
144: \newblock (Included in GCC source tree).
145: 
146: \bibitem[Sun]{jpda}
147: Sun Microsystems, Inc.
148: \newblock {\em {Java Platform Debugger Architecture}}.
149: \newblock \\http://java.sun.com/products/jpda/.
150: 
151: \bibitem[TA95]{sml-debugger}
152: Andrew Tolmach and Andrew~W. Appel.
153: \newblock {A Debugger for Standard ML}.
154: \newblock {\em {Journal of Functional Programming}}, 5(2):155--200, 1995.
155: 
156: \bibitem[TJ98]{cci}
157: Kevin~S. Templer and Clinton~L. Jeffery.
158: \newblock {A Configurable Automatic Instrumentation Tool for ANSI C}.
159: \newblock In {\em {Proceedings of the IEEE International Conference on
160:   Automated Software Engineering}}, pages 249--257, 1998.
161: 
162: \bibitem[Ver98]{xlab}
163: Marc Vertes.
164: \newblock {Xlab -- a tool to automate graphical user interfaces}.
165: \newblock In {\em {Linux Weekly News}}, May 1998.
166: \newblock \\http://mvertes.free.fr/.
167: 
168: \bibitem[WM89]{demonic}
169: Paul~R. Wilson and Thomas~G. Moher.
170: \newblock {Demonic Memory for Process Histories}.
171: \newblock In {\em {Proceedings of the ACM SIGPLAN '89 Conference on Programming
172:   Language Design and Implementation}}, pages 330--343, 1989.
173: 
174: \bibitem[Zel02]{cechain}
175: Andreas Zeller.
176: \newblock {Isolating Cause-Effect Chains from Computer Programs}.
177: \newblock In {\em {Proceedings of the SIGSOFT 10th International Symposium on
178:   the Foundations of Software Engineering (FSE-10)}}, pages 1--10, 2002.
179: 
180: \end{thebibliography}
181: