{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:50:57Z","timestamp":1730281857609,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1109\/memcod.2009.5185375","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T19:09:22Z","timestamp":1250017762000},"page":"28-35","source":"Crossref","is-referenced-by-count":1,"title":["The Role of Mutation Analysis for Property Qualification"],"prefix":"10.1109","author":[{"given":"Luigi","family":"Di Guglielmo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Graziano","family":"Pravadelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1007\/978-3-540-45069-6_35","article-title":"enhanced vacuity detection in linear temporal logic","volume":"2725","author":"armoni","year":"2003","journal-title":"International Conference on Computer Aided Verification"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2007.371225"},{"key":"18","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/3-540-45657-0_39","volume":"2404","author":"purandare","year":"2002","journal-title":"Vacuum Cleaning CTL Formulae In International Conference on Computer Aided Verification"},{"key":"15","first-page":"259","article-title":"transition traversal coverage estimation for symbolic model checking","volume":"2005","author":"xu","year":"2005","journal-title":"Proceedings - Third ACM and IEEE International Conference on Formal Methods and Models for Co-Design MEMOCODE'05"},{"key":"16","first-page":"99","article-title":"automatic functional test program generation for pipelined processors using model checking","author":"mishra","year":"2002","journal-title":"Proc IEEE High-Level Design Validation and Test"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.29"},{"key":"14","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","author":"katz","year":"1999","journal-title":"Proc ACM Advanced Research Working Conf Correct Hardware Design and Verification Methods"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30476-0_29"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1118299.1118303"},{"key":"21","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/978-3-540-27813-9_5","article-title":"an efficiently checkable, proof-based formulation of vacuity in model checking","volume":"3114","author":"namjoshi","year":"2004","journal-title":"International Conference on Computer Aided Verification"},{"key":"20","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/978-3-540-30494-4_22","article-title":"extending extended vacuity","volume":"3312","author":"gurfinkel","year":"2004","journal-title":"International Conference on Formal Methods In Computer-Aided Design"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_23"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/FAMCAD.2007.16"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74407-8_33"},{"key":"25","doi-asserted-by":"crossref","first-page":"538","DOI":"10.1007\/10722167_40","article-title":"focs: automatic generation of simulation checkers from formal specifications","author":"abarbanel","year":"2000","journal-title":"Computer Aided Verification"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2008.4547683"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2007.1012"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2005.1487918"},{"journal-title":"Standard for Property Specification Language (PSL)","first-page":"1","year":"2007","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48153-2_8"},{"key":"2","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/3-540-63166-6_28","article-title":"efficient detection of vacuity in actl formulas","volume":"1254","author":"beer","year":"1997","journal-title":"International Conference on Computer Aided Verification"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775908"},{"key":"1","first-page":"34","author":"offutt","year":"0","journal-title":"Mutation 2000 Uniting the Orthogonal"},{"journal-title":"ITC-99 Benchmarks","year":"1999","key":"30"},{"key":"7","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/3-540-44585-4_7","article-title":"a practical approach to coverage in model checking","author":"chockler","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.781330"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2004.07.007"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s100090100062"},{"journal-title":"University of Colorado VIS","year":"1999","key":"31"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008779610539"},{"key":"9","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/s10009-004-0175-4","article-title":"coverage metrics for formal verification","author":"chockler","year":"2006","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-0001-6"}],"event":{"name":"2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE)","start":{"date-parts":[[2009,7,13]]},"location":"Cambridge, MA, USA","end":{"date-parts":[[2009,7,15]]}},"container-title":["2009 7th IEEE\/ACM International Conference on Formal Methods and Models for Co-Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5173407\/5185370\/05185375.pdf?arnumber=5185375","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T20:48:58Z","timestamp":1580935738000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5185375\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/memcod.2009.5185375","relation":{},"subject":[],"published":{"date-parts":[[2009,7]]}}}