R. Caballero, E. Martin-martin, A. Riesco, and S. Tamarit, EDD: A declarative debugger for sequential Erlang programs, TACAS. LNCS, vol.8413, pp.581-586, 2014.

R. Carlsson, Core erlang 1.0.3. language specification, 2004.

K. Claessen, Finding race conditions in Erlang with QuickCheck and PULSE. In: ICFP, pp.149-160, 2009.

V. Danos and J. Krivine, Reversible communicating systems, In: CONCUR. LNCS, vol.3170, pp.292-307, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00784051

D. Osualdo, E. Kochems, J. Ong, and C. L. , Automatic Verification of Erlang-Style Concurrency, SAS. LNCS, vol.7935, pp.454-476, 2013.

L. A. Fredlund and H. Svensson, McErlang: a model checker for a distributed functional programming language, pp.125-136, 2007.

E. Giachino, I. Lanese, and C. A. Mezzina, Causal-consistent reversible debugging, FASE. LNCS, vol.8411, pp.370-384, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01089270

E. Giachino, I. Lanese, C. A. Mezzina, and F. Tiezzi, Causal-consistent rollback in a tuple-based language, J. Log. Algebr. Meth. Program, vol.88, pp.99-120, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01633260

A. Giantsios, N. Papaspyrou, and K. Sagonas, Concolic testing for functional languages, pp.137-148, 2015.

A. Gotovos, M. Christakis, and K. Sagonas, Test-driven development of concurrent programs using Concuerror, 10th ACM SIGPLAN workshop on Erlang, pp.51-61, 2011.

R. Landauer, Irreversibility and heat generation in the computing process, IBM Journal of Research and Development, vol.5, pp.183-191, 1961.

I. Lanese, C. A. Mezzina, and F. Tiezzi, Causal-consistent reversibility, Bulletin of the EATCS, vol.114, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01089350

I. Lanese, N. Nishida, A. Palacios, and G. Vidal, A theory of reversibility for Erlang (2017), submitted for publication

M. Lienhardt, I. Lanese, C. A. Mezzina, and J. Stefani, A reversible abstract machine and its space overhead, FMOODS/FORTE, vol.7273, pp.1-17, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00909384

T. Lindahl and K. Sagonas, Practical type inference based on success typings, pp.167-178, 2006.

C. T. Lopez, S. Marr, H. Mössenböck, and E. G. Boix, A study of concurrency bugs and advanced development support for actor-based programs, 2017.

N. Nishida, A. Palacios, and G. Vidal, A reversible semantics for Erlang, LOPSTR'16, vol.10184, pp.259-274, 2017.

M. Papadakis and K. Sagonas, A PropEr integration of types and function specifications with property-based testing, 10th ACM SIGPLAN workshop on Erlang, pp.39-50, 2011.

K. Shibanai and T. Watanabe, Actoverse: A reversible debugger for actors, pp.50-57, 2017.

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

H. Svensson, L. A. Fredlund, and C. B. Earle, A unified semantics for future Erlang, 9th ACM SIGPLAN workshop on Erlang, pp.23-32, 2010.