Martin Hiller, Arshad Jhumka, Neeraj Suri: PROPANE: an environment for examining the propagation of errors in software. ISSTA 2002: 81-85