{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T03:45:32Z","timestamp":1725680732622},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/hldvt.2010.5496659","type":"proceedings-article","created":{"date-parts":[[2010,7,6]],"date-time":"2010-07-06T14:06:27Z","timestamp":1278425187000},"page":"75-81","source":"Crossref","is-referenced-by-count":23,"title":["Coverage metrics for verification of concurrent SystemC designs using mutation testing"],"prefix":"10.1109","author":[{"given":"Alper","family":"Sen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Magdy S.","family":"Abadir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC.PART.2007.39"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.10"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.308"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.11"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-5939-6_7"},{"year":"0","key":"ref15"},{"key":"ref16","article-title":"Mutation Analysis Testing for Finite State Machines","author":"pinto","year":"1994","journal-title":"5th International Symposium on Software Reliability Engineering"},{"year":"0","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391708"},{"journal-title":"Comprehensive Functional Verification The Complete Industry Cycle (Systems on Silicon)","year":"2005","author":"wile","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090656"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1145\/1403375.1403472","article-title":"A Mutation Model for the SystemC TLM 2.0 Communication Interfaces","author":"bombieri","year":"2008","journal-title":"Proc of the Conference on Design Automation and Test in Europe (DATE)"},{"key":"ref6","first-page":"129","article-title":"Mutation Analysis: Ideas, Examples, Problems and Prospects","author":"budd","year":"1981","journal-title":"Computer Program Testing"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.10"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277078"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569832"},{"key":"ref2","article-title":"Can Mutation Analysis Help Fix Our Broken Coverage Metrics?","author":"bailey","year":"2008","journal-title":"Proc 4th International Haifa Verification Conference"},{"journal-title":"Digital Systems Testing and Testable Design","year":"1990","author":"abramovici","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213511"}],"event":{"name":"2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2010,6,10]]},"location":"Anaheim, FL, USA","end":{"date-parts":[[2010,6,12]]}},"container-title":["2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5488975\/5496643\/05496659.pdf?arnumber=5496659","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T16:25:50Z","timestamp":1559233550000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5496659\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2010.5496659","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}