Fred: Automated debugging via binary search through a process lifetime, 1212. ,
Reversible debugging using program instrumentation, IEEE Transactions on Software Engineering, vol.27, issue.8, pp.715-727, 2001. ,
DOI : 10.1109/32.940726
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
Reversible Communicating Systems, Proc. of CON- CUR'04, 2004. ,
DOI : 10.1007/BFb0012800
URL : https://hal.archives-ouvertes.fr/hal-00784051
Igor: A system for program debugging via reversible execution, Workshop on Parallel and Distributed Debugging, pp.112-123, 1988. ,
The debugging system aids, spring joint computer conference, AFIPS '70 (Spring), Proc. of the, pp.59-64, 1970. ,
Debugging operating systems with time-traveling virtual machines, USENIX Annual Technical Conference, pp.1-15, 2005. ,
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
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
Reversing Higher-Order Pi, Proc. of CONCUR 2010, 2010. ,
DOI : 10.1007/978-3-642-15375-4_33
Debugging Parallel Programs with Instant Replay, IEEE Transactions on Computers, vol.36, issue.4, pp.471-482, 1987. ,
DOI : 10.1109/TC.1987.1676929
Debugging backwards in time. CoRR, cs, 2003. ,
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
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics, ASPLOS, pp.329-339, 2008. ,
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
Causeway: a message-oriented distributed debugger, 2009. ,
Temporal debugging using urdb. CoRR, abs/0910, 2009. ,
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
Reversible execution, Communications of the ACM, vol.16, issue.9, p.566, 1973. ,
DOI : 10.1145/362342.362360