Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo
Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs
SEFM, 2008.
@inproceedings{SEFM-2008-XavierHM, author = "Kleber S. Xavier and Simone Hanazumi and Ana Cristina Vieira de Melo", booktitle = "{Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods}", doi = "10.1109/SEFM.2008.31", isbn = "978-0-7695-3437-4", pages = "181--190", publisher = "{IEEE Computer Society}", title = "{Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs}", year = 2008, }