Hiralal Agrawal, Richard A. DeMillo & Eugene H. Spafford (1991):
An Execution-Backtracking Approach to Debugging.
IEEE Software 8(3),
pp. 21–26,
doi:10.1109/52.88940.
Hiralal Agrawal, Richard A. DeMillo & Eugene H. Spafford (1993):
Debugging with Dynamic Slicing and Backtracking.
Software - Practice and Experience 23(6),
pp. 589–616,
doi:10.1002/spe.4380230603.
Tankut Akgul & Vincent J. Mooney III (2004):
Assembly Instruction Level Reverse Execution for Debugging.
ACM Transactions on Software Engineering and Methodology 13(2),
pp. 149–198,
doi:10.1145/1018210.1018211.
Robert M. Balzer (1969):
EXDAMS–EXtendable Debugging and Monitoring System.
In: Proceedings of AFIPS Spring Joint Computer Conference 34.
AFIPS Press,
pp. 567–580,
doi:10.1145/1476793.1476881.
Bitan Biswas & R. Mall (1999):
Reverse Execution of Programs.
SIGPLAN Notices 34(4),
pp. 61–69,
doi:10.1145/312009.312079.
Simon P. Booth & Simon B. Jones (1997):
Walk Backwards to Happiness – Debugging by Time Travel.
In: Proceedings of the Workshop on Automated and Algorithmic Debugging,
pp. 171–183.
Bob Boothe (2000):
Efficient algorithms for bidirectional debugging.
In: Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation,
pp. 299–310,
doi:10.1145/349299.349339.
Christopher D. Carothers, Kalyan S. Perumalla & Richard M. Fujimoto (1999):
Efficient Optimistic Parallel Simulations Using Reverse Computation.
In: Proceedings of the 13th Workshop on Parallel and Distributed Simulation,
pp. 126–135,
doi:10.1145/347823.347828.
Jong-Deok Choi & Harini Srinivasan (1998):
Deterministic replay of Java multithreaded applications.
In: Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools.
ACM Press,
pp. 48–59,
doi:10.1145/281035.281041.
Jonathan J. Cook (2002):
Reverse Execution of Java Bytecode.
The Computer Journal 45(6),
pp. 608–619,
doi:10.1093/comjnl/45.6.608.
Andrew Ko & Brad A. Myers (2009):
Finding causes of program output with the Java Whyline.
In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI'09),
pp. 1569–1578,
doi:10.1145/1518701.1518942.
Andrew J. Ko & Brad A. Myers (2008):
Debugging reinvented: asking and answering why and why not questions about program behavior.
In: Proceedings of the 30th International Conference on Software Engineering (ICSE'08),
pp. 301–310,
doi:10.1145/1368088.1368130.
Thomas J. Leblanc & John M. Mellor-Crummey (1987):
Debugging parallel programs with instant replay.
IEEE Transactions on Computers 36(4),
pp. 471–482,
doi:10.1109/TC.1987.1676929.
Jooyong Lee (2007):
Dynamic Reverse Code Generation for Backward Execution.
Electronic Notes in Theoretical Computer Science 174(4),
pp. 37–54,
doi:10.1016/j.entcs.2006.12.028.
Mark Russinovich & Bryce Cogswell (1996):
Replay for concurrent non-deterministic shared-memory applications.
In: Proceedings of the Conference on Programming Language Design and Implementation (PLDI'96).
ACM Press,
pp. 258–266,
doi:10.1145/231379.231432.
Marvin V. Zelkowitz (1971):
Reversible Execution as a Diagnostic Tool.
Department of Computer Science, Cornell University.
eptcs@eptcs.org