Michiel Ronsse Koenraad De Bosschere Jacques Chassin de Kergommeaux Execution replay and debugging. 2000 AADEBUG http://arxiv.orgrxiv.org/abs/cs.SE/0011006 db/conf/aadebug/aadebug2000.html#RonsseBK00