@inproceedings{inproceedingsd30f94f0,
title   = {OConGraX: automatically generating data-flow test cases for fault-tolerant systems},
author = {Nunes, Paulo Roberto de Araújo França and Hanazumi , Simone and Melo, Ana Cristina Vieira de},
year = {2009},
doi = {10.1007/978-3-642-05031-2_17},
publisher = {Springer},
booktitle   = {International Workshop on Formal Approaches to Software Testing - FATES}
}