Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs.

Kleber S. Xavier Simone Hanazumi Ana Cristina Vieira de Melo Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. 181-190 2008 SEFM http://dx.doi.org/10.1109/SEFM.2008.31 conf/sefm/2008 db/conf/sefm/sefm2008.html#XavierHM08