None
DE
Deterministic Record-and-Replay: Zeroing in only on the nondeterministic actions of the process
Peter Alvaro, Andrew Quinn
ACM Queue - Debugging
NULL