{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:48:06Z","timestamp":1725522486445},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/mtv.2003.1250268","type":"proceedings-article","created":{"date-parts":[[2004,5,6]],"date-time":"2004-05-06T16:18:03Z","timestamp":1083860283000},"page":"89-94","source":"Crossref","is-referenced-by-count":0,"title":["A SystemC-based framework for properties incompleteness evaluation"],"prefix":"10.1109","author":[{"given":"A.","family":"Fin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Fummi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Poncino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Pravadelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"169","article-title":"High-Level and Hierarchical Test Sequence Generation","author":"goloubeva","year":"2002","journal-title":"Proc HLDVT"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ETW.2000.873785"},{"article-title":"Newran02B - a random number generator library","year":"0","author":"davies","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2002.1224422"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48153-2_21"},{"key":"ref3","first-page":"300","article-title":"Coverage Estimation for Symbolic Model Checking","author":"hoskote","year":"1999","journal-title":"Proc of ACM\/IEEE DAC"},{"key":"ref6","article-title":"On the Use of a High-Level Fault Model to Check Properties Incompleteness","author":"fedeli","year":"2003","journal-title":"Proc of ACM\/IEEE MEMOCODE"},{"key":"ref5","first-page":"66","article-title":"A Practical Approach to Coverage in Model Checking","author":"chockler","year":"2001","journal-title":"Proc of ACM CAV"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/12.980008"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DFTVS.2000.887180"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0027047"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2001.966704"}],"event":{"name":"4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions","acronym":"MTV-03","location":"Austin, TX, USA"},"container-title":["Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8841\/27975\/01250268.pdf?arnumber=1250268","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T14:29:40Z","timestamp":1489415380000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1250268\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/mtv.2003.1250268","relation":{},"subject":[]}}