Michiel Ronsse Koenraad De Bosschere Mark Christiaens Jacques Chassin de Kergommeaux Dieter Kranzlmüller Record/replay for nondeterministic program executions. 62-67 2003 46 Commun. ACM 9 http://doi.acm.org/10.1145/903893.903895 db/journals/cacm/cacm46.html#RonsseBCKK03