Work

Reversible Debugging of Erlang Programs in CauDEr

Year: 2024

Type: conference-paper

Abstract: This talk presents the notion of causal-consistent reversible debugging and its instance on Erlang provided by CauDEr. Reversible debugging allows us to explore an execution back and forth looking for a bug. Causal-consistent debugging tailors this approach to concurrent systems so that actions can be undone in any order as long as their consequences, if any, are undone first.

DOI: 10.1145/3678720.3685319

Authors: Ivan Lanese, Germán Vidal

Institutions: Institut national de recherche en sciences et technologies du numérique, University of Bologna, Universitat Politècnica de València

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4402526866

FWCI:

Cites: 9

Cited by:

Related to: 10