{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T18:26:28Z","timestamp":1649183188244},"reference-count":49,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2012,5,1]],"date-time":"2012-05-01T00:00:00Z","timestamp":1335830400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1109\/tcad.2011.2180382","type":"journal-article","created":{"date-parts":[[2012,4,20]],"date-time":"2012-04-20T15:54:54Z","timestamp":1334937294000},"page":"765-778","source":"Crossref","is-referenced-by-count":4,"title":["Computing Mutation Coverage in Interpolation-Based Model Checking"],"prefix":"10.1109","volume":"31","author":[{"given":"Hana","family":"Chockler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Kroening","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mitra","family":"Purandare","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ICSEA.2006.261272"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2001.922409"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0001-6"},{"key":"ref32","first-page":"66","article-title":"A practical approach to coverage in model checking","volume":"lncs 2102","author":"chockler","year":"2001","journal-title":"Proc CAV"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775908"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.781330"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1998.730569"},{"key":"ref36","year":"2008","journal-title":"Coverage Panel talk at HVC"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024777"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/s10009-004-0175-4","article-title":"Coverage metrics for formal verification","volume":"8","author":"chockler","year":"2006","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.2307\/2275541"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.2307\/2275583"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/3-540-48153-2_21","article-title":"'Have I written enough properties?' A method of comparison between specification and implementation","volume":"lncs 1703","author":"katz","year":"1999","journal-title":"Proc Advanced Research Working Conf Correct Hardw Des Verification Methods"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/54.936247"},{"key":"ref1","author":"bening","year":"2000","journal-title":"Principles of Verifiable RTL DesignA Functional Coding Style Supporting Verification Processes"},{"key":"ref20","first-page":"502","article-title":"An extensible SAT-solver","volume":"lncs","author":"en","year":"2003","journal-title":"Proc SAT"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(86)80028-1"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"ref24","first-page":"118","article-title":"Bounded model checking","volume":"58","author":"biere","year":"2003","journal-title":"Advances Comput"},{"key":"ref23","first-page":"234","article-title":"On the complexity of derivation in the propositional calculus","volume":"8","author":"tseitin","year":"1968","journal-title":"Zapiski Nauchnykh Seminarov LOMI"},{"key":"ref26","first-page":"181","article-title":"Constructing Craig interpolation formulas","volume":"lncs 959","author":"huang","year":"1995","journal-title":"Proc COCOON"},{"key":"ref25","first-page":"193","article-title":"Symbolic model checking without BDDs","volume":"lncs","author":"biere","year":"1999","journal-title":"Proc TACAS"},{"key":"ref10","first-page":"1","article-title":"Interpolation and SAT-based model checking","volume":"lncs 2725","author":"mcmillan","year":"2003","journal-title":"Proc CAV"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025774"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2006.229273"},{"key":"ref12","first-page":"337","article-title":"Specification and verification of concurrent systems in CESAR","volume":"lncs 137","author":"queille","year":"1982","journal-title":"Proc Symp Programming"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref14","author":"clark","year":"1999","journal-title":"Model checking"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569607"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998262"},{"key":"ref4","first-page":"528","article-title":"Coverage metrics for temporal logic model checking","volume":"lncs 2031","author":"chockler","year":"2001","journal-title":"Proc TACAS"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.781330"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35608-2_34"},{"key":"ref5","first-page":"66","article-title":"A practical approach to coverage in model checking","volume":"lncs 2102","author":"chockler","year":"2001","journal-title":"Proc CAV"},{"key":"ref8","first-page":"37","article-title":"Sanity checks in formal verification","volume":"lncs 4137","author":"kupferman","year":"2006","journal-title":"Proc Concurrency Theory"},{"key":"ref7","first-page":"111","article-title":"Coverage metrics for formal verification","volume":"lncs 2860","author":"chockler","year":"2003","journal-title":"Proc CHARME"},{"key":"ref49","first-page":"129","article-title":"Interpolant strength","volume":"lncs 5944","author":"d'silva","year":"2010","journal-title":"Proc of VMCAI"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.29"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.859490"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1268922"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.907270"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244051"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/FAMCAD.2007.32"},{"key":"ref41","first-page":"201","article-title":"Formal methods for analyzing the completeness of an assertion suite against a high-level fault model","author":"das","year":"2005","journal-title":"Proc 18th Int Conf VLSI Des"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382571"},{"key":"ref43","first-page":"201","article-title":"Formal methods for analyzing the completeness of an assertion suite against a high-level fault model","author":"das","year":"2005","journal-title":"Proc VLSI Des"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/43\/6185728\/06186866.pdf?arnumber=6186866","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:51:47Z","timestamp":1633909907000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6186866\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":49,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2011.2180382","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5]]}}}