Prefix-Based Tracing in Message-Passing Concurrency. - Juan José González-Abril; Germán Vidal (LOPSTR, 2021)

Causal-Consistent Reversible Debugging: Improving CauDEr. - Juan José González-Abril; Germán Vidal (PADL, 2021)

A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency. - Juan José González-Abril; Germán Vidal (CoRR, 2021)

A Lightweight Approach to Computing Message Races with an Application to Causal-Consistent Reversible Debugging. - Juan José González-Abril; Germán Vidal (CoRR, 2021)