Bitan Biswas Rajib Mall Reverse Execution of Programs. 61-69 1999 34 SIGPLAN Notices 4 db/journals/sigplan/sigplan34.html#BiswasM99 http://doi.acm.org/10.1145/312009.312079