{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:48:55Z","timestamp":1725572935607},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1109\/latw.2009.4813792","type":"proceedings-article","created":{"date-parts":[[2009,4,10]],"date-time":"2009-04-10T19:39:46Z","timestamp":1239392386000},"page":"1-6","source":"Crossref","is-referenced-by-count":4,"title":["High-Level Decision Diagrams based coverage metrics for verification and test"],"prefix":"10.1109","author":[{"given":"Maksim","family":"Jenihhin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaan","family":"Raik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anton","family":"Chepurov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uljana","family":"Reinsalu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raimund","family":"Ubar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/BEC.2008.4657515"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2008.4538786"},{"key":"10","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1145\/366246.366248","article-title":"systematic mistake analysis of digital computer programs","author":"miller","year":"1963","journal-title":"Comm ACM"},{"key":"1","article-title":"functional verification coverage measurement and analysis","author":"piziali","year":"2008","journal-title":"Springer"},{"year":"0","key":"7"},{"journal-title":"Web-articles ?Code Coverage Analysis? and ?Minimum Acceptable Code Coverage? Bullseye Testing Technology","year":"0","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.857064"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/54.867894"},{"year":"0","key":"8"}],"event":{"name":"2009 10th Latin American Test Workshop","start":{"date-parts":[[2009,3,2]]},"location":"Rio de Janeiro, Brazil","end":{"date-parts":[[2009,3,5]]}},"container-title":["2009 10th Latin American Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4810097\/4813774\/04813792.pdf?arnumber=4813792","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T18:46:26Z","timestamp":1497811586000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4813792\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/latw.2009.4813792","relation":{},"subject":[],"published":{"date-parts":[[2009,3]]}}}