Martin Hiller Arshad Jhumka Neeraj Suri PROPANE: an environment for examining the propagation of errors in software. 81-85 2002 ISSTA http://doi.acm.org/10.1145/566172.566184 db/conf/issta/issta2002.html#HillerJS02