%0 Conference Paper %1 conf/fmcad/KupfermanLS08 %A Kupferman, Orna %A Li, Wenchao %A Seshia, Sanjit A. %B FMCAD %D 2008 %E Cimatti, Alessandro %E Jones, Robert B. %I IEEE %K %P 1-9 %T A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2008.html#KupfermanLS08 %@ 978-1-4244-2735-2

@inproceedings{conf/fmcad/KupfermanLS08, added-at = {2023-12-13T00:26:41.000+0100}, author = {Kupferman, Orna and Li, Wenchao and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/274374e91322b796f731f5d4463af6d9a/admin}, booktitle = {FMCAD}, crossref = {conf/fmcad/2008}, editor = {Cimatti, Alessandro and Jones, Robert B.}, ee = {http://dx.doi.org/10.1109/FMCAD.2008.ECP.29}, interhash = {636de86dd4b3f844de3c54d1d0ad0dff}, intrahash = {74374e91322b796f731f5d4463af6d9a}, isbn = {978-1-4244-2735-2}, keywords = {}, pages = {1-9}, publisher = {IEEE}, timestamp = {2023-12-13T00:26:41.000+0100}, title = {A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2008.html#KupfermanLS08}, year = 2008 }