Causal-Consistent Reversible Debugging.

Elena Giachino Ivan Lanese Claudio Antares Mezzina

Published in: FASE (2014)

Keyphrases

markov chain
bayesian networks
cellular automata
causal models
data mining
case study
causal relationships
globally optimal
fault localization
causal networks
causal independence
execution traces