@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{kupferman-fmcad08,
 author = {Orna Kupferman and Wenchao Li and Sanjit A. Seshia},
 title = {A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance},
 booktitle = {Proceedings of the IEEE International Conference on Formal Methods in Computer-Aided Design (FMCAD)},
 month = "November",
 year = {2008},
 pages = "1--9",
  abstract = {The quality of formal specifications and the circuits
they are written for can be evaluated through checks such as
vacuity and coverage. Both checks involve mutations to the
specification or the circuit implementation. In this context, we
study and prove properties of mutations to finite-state systems.
Since faults can be viewed as mutations, our theory of mutations
can also be used in a formal approach to fault injection. We
demonstrate theoretically and with experimental results how
relations and orders amongst mutations can be used to improve
specifications and reason about coverage of fault tolerant circuits.},
}