@inproceedings{DBLP:conf/issta/HillerJS02,
  author    = {Martin Hiller and
               Arshad Jhumka and
               Neeraj Suri},
  editor    = {Phyllis G. Frankl},
  title     = {{PROPANE:} an environment for examining the propagation of errors
               in software},
  booktitle = {Proceedings of the International Symposium on Software Testing and
               Analysis, {ISSTA} 2002, Roma, Italy, July 22-24, 2002},
  pages     = {81--85},
  publisher = {{ACM}},
  year      = {2002},
  url       = {https://doi.org/10.1145/566172.566184},
  doi       = {10.1145/566172.566184},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/HillerJS02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}