K. Arya, T. Denniston, A. M. Visan, and G. Cooperman, Fred: Automated debugging via binary search through a process lifetime, 1212.

S. Chen, W. K. Fuchs, and J. Chung, Reversible debugging using program instrumentation, IEEE Transactions on Software Engineering, vol.27, issue.8, pp.715-727, 2001.
DOI : 10.1109/32.940726

I. Cristescu, J. Krivine, and D. Varacca, A Compositional Semantics for the Reversible p-Calculus, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, pp.388-397, 2013.
DOI : 10.1109/LICS.2013.45

V. Danos and J. Krivine, Reversible Communicating Systems, Proc. of CON- CUR'04, 2004.
DOI : 10.1007/BFb0012800

URL : https://hal.archives-ouvertes.fr/hal-00784051

S. I. Feldman and C. B. Brown, Igor: A system for program debugging via reversible execution, Workshop on Parallel and Distributed Debugging, pp.112-123, 1988.

R. Grishman, The debugging system aids, spring joint computer conference, AFIPS '70 (Spring), Proc. of the, pp.59-64, 1970.

S. T. King, G. W. Dunlap, and P. M. Chen, Debugging operating systems with time-traveling virtual machines, USENIX Annual Technical Conference, pp.1-15, 2005.

T. Koju, S. Takada, and N. Doi, An efficient and generic reversible debugger using the virtual machine based approach, Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments , VEE '05, pp.79-88, 2005.
DOI : 10.1145/1064979.1064992

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

I. Lanese, C. A. Mezzina, and J. Stefani, Reversing Higher-Order Pi, Proc. of CONCUR 2010, 2010.
DOI : 10.1007/978-3-642-15375-4_33

T. J. Leblanc and J. M. Mellor-crummey, Debugging Parallel Programs with Instant Replay, IEEE Transactions on Computers, vol.36, issue.4, pp.471-482, 1987.
DOI : 10.1109/TC.1987.1676929

B. Lewis, Debugging backwards in time. CoRR, cs, 2003.

M. Lienhardt, I. Lanese, C. A. Mezzina, and J. Stefani, A Reversible Abstract Machine and Its Space Overhead, FMOODS/FORTE, pp.1-17, 2012.
DOI : 10.1007/978-3-642-30793-5_1

URL : https://hal.archives-ouvertes.fr/hal-00909384

S. Lu, S. Park, E. Seo, and Y. Zhou, Learning from mistakes: a comprehensive study on real world concurrency bug characteristics, ASPLOS, pp.329-339, 2008.

I. Phillips and I. Ulidowski, Reversing algebraic process calculi, J. Log. Algebr. Program, vol.73, issue.12, 2007.
DOI : 10.1016/j.jlap.2006.11.002

URL : http://doi.org/10.1016/j.jlap.2006.11.002

T. Stanley, T. Close, and M. S. Miller, Causeway: a message-oriented distributed debugger, 2009.

A. M. Visan, Temporal debugging using urdb. CoRR, abs/0910, 2009.

G. Xu, Efficient checkpointing of java software using context-sensitive capture and replay, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering , ESEC-FSE '07, pp.85-94, 2007.
DOI : 10.1145/1287624.1287638

M. V. Zelkowitz, Reversible execution, Communications of the ACM, vol.16, issue.9, p.566, 1973.
DOI : 10.1145/362342.362360