Deterministic Replay: A Survey
Execution replay of multiprocessor virtual machines