Replay debugging of non-deterministic executions in the Kernel-based Virtual Machine. - Kurt E. Kiefer; Louise E. Moser (Softw. Pract. Exp., 2013)