{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T14:08:39Z","timestamp":1773410919553,"version":"3.50.1"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1109\/hldvt.2009.5340171","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T10:27:48Z","timestamp":1260440868000},"page":"88-93","source":"Crossref","is-referenced-by-count":7,"title":["An instrumented observability coverage method for system validation"],"prefix":"10.1109","author":[{"given":"Peter","family":"Lisherness","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kwang-Ting","family":"Cheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273489"},{"key":"16","year":"0","journal-title":"T48 Project"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-5939-6_17"},{"key":"14","first-page":"463","article-title":"A general dynamic information Flow tracking framework for security applications","author":"lam","year":"2006","journal-title":"Proc Annual Computer Security Applications Conf"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC.PART.2007.39"},{"key":"12","first-page":"220","article-title":"Theoretical and empirical, studies on using program, mutation to test the functional, correctness of programs","author":"budd","year":"1980","journal-title":"Proc 8th ACM Symp Principles of Programming Languages"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.306"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.54"},{"key":"1","article-title":"Addressing post-silicon validation challenge: Leverage validation. & test synergy. Invited talk","author":"yerramilli","year":"2006","journal-title":"Int Test Conf"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1996.557150"},{"key":"7","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":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1120725.1120859"},{"key":"5","first-page":"89","article-title":"An observability branch coverage metric based on dynamic factored use-define chains","volume":"2006","author":"lv","year":"2006","journal-title":"Proceedings of the Asian Test Symposium"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2000.894218"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/120807.120814"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2003.1195004"}],"event":{"name":"2009 IEEE International High Level Design Validation and Test Workshop (HLDVT)","location":"San Francisco, CA, USA","start":{"date-parts":[[2009,11,4]]},"end":{"date-parts":[[2009,11,6]]}},"container-title":["2009 IEEE International High Level Design Validation and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5331931\/5340157\/05340171.pdf?arnumber=5340171","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T20:59:11Z","timestamp":1489870751000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5340171\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2009.5340171","relation":{},"subject":[],"published":{"date-parts":[[2009,11]]}}}