Replay debugging of non-deterministic executions in the Kernel-based Virtual Machine. - Kiefer, Kurt E.; Moser, Louise E. (Software: Practice & Experience, 2013)