Yasushi Saito Jockey: a user-space library for record-replay debugging. 69-76 2005 conf/aadebug/2005 AADEBUG http://doi.acm.org/10.1145/1085130.1085139 db/conf/aadebug/aadebug2005.html#Saito05