12 citations · 31 across the 17 of their papers we have counts for
1 paper · 1 filter
Juan José González-Abril, Germán Vidal
Causal-consistent reversible debugging allows one to explore concurrent computations back and forth in order to locate the source of an error. In this setting, backward steps can b…