Andy Georges Mark Christiaens Michiel Ronsse Koenraad De Bosschere JaRec: a portable record/replay environment for multi-threaded Java applications. 523-547 2004 34 Softw., Pract. Exper. 6 http://dx.doi.org/10.1002/spe.579 db/journals/spe/spe34.html#GeorgesCRB04