Ronsse, MichielMichielRonsseDe Bosschere, KoenKoenDe BosschereChristiaens, MarkMarkChristiaensChassin de Kergommeaux, JacquesJacquesChassin de KergommeauxKranzlmuller, DieterDieterKranzlmuller2021-10-152021-10-152003https://imec-publications.be/handle/20.500.12860/8084Record/replay for nondeterministic program executionsJournal article