{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:34:54Z","timestamp":1725622494890},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/hldvt.2011.6114167","type":"proceedings-article","created":{"date-parts":[[2012,1,6]],"date-time":"2012-01-06T14:31:55Z","timestamp":1325860315000},"page":"65-71","source":"Crossref","is-referenced-by-count":4,"title":["IP-XACT based system level mutation testing"],"prefix":"10.1109","author":[{"given":"Tao","family":"Xie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Mueller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Letombe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15234-4_12"},{"key":"22","first-page":"152","article-title":"OCCOM: efficient computation of observability-based code coverage metrics for functional verification","author":"fallah","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2010.18"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.782026"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2007.4341472"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235571"},{"journal-title":"1685? Standard for IP-XACT Standard Structure for Packaging Integrating and Re-Using IP Within Tool-Flow","year":"2010","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"journal-title":"EMF Eclipse Modeling Framework","year":"2009","author":"steinberg","key":"11"},{"journal-title":"PowerPC 405 Evaluation Kit with CoreConnect SystemC TLMs","year":"0","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569832"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2007.4341472"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2011.83"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837333"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2010.5496659"},{"journal-title":"1800? Standard for System Verilog-Unified Hardware Design Specification and Verification Language","year":"2009","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090656"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1996.557150"},{"journal-title":"A Methodology for the Verification of A System on Chip","year":"1999","key":"5"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC.PART.2007.39"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403386"}],"event":{"name":"2011 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2011,11,9]]},"location":"Napa Valley, CA, USA","end":{"date-parts":[[2011,11,11]]}},"container-title":["2011 IEEE International High Level Design Validation and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093762\/6113979\/06114167.pdf?arnumber=6114167","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T09:33:36Z","timestamp":1490088816000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6114167\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2011.6114167","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}