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