Michiel Ronsse Koenraad De Bosschere Non-Intrusive Detection of Synchronization Errors Using Execution Replay. 95-121 2002 9 Autom. Softw. Eng. 1 db/journals/ase/ase9.html#RonsseB02 http://dx.doi.org/10.1023/A:1013236320820