Igor: A System for Program Debugging via Reversible Execution.

Stuart I. Feldman Channing B. Brown

Published in: Workshop on Parallel and Distributed Debugging (1988)

Keyphrases

markov chain
cellular automata
execution model
data sets
operating system
real world
database systems
search algorithm
state space
execution environment