@inproceedings{inproceedingsde230bad,
title   = {Using formal verification to reduce test space of fault-tolerant programs},
author = {Xavier, Kleber da Silva and Hanazumi , Simone and Melo, Ana Cristina Vieira de},
year = {2008},
doi = {10.1109/SEFM.2008.31},
publisher = {IEEE},
booktitle   = {International Conference on Software Engineering and Formal Methods - SEFM}
}