{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T21:04:46Z","timestamp":1781298286881,"version":"3.54.1"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/test.2007.4437588","type":"proceedings-article","created":{"date-parts":[[2008,1,29]],"date-time":"2008-01-29T15:41:30Z","timestamp":1201621290000},"page":"1-10","source":"Crossref","is-referenced-by-count":0,"title":["Mining-guided state justification with partitioned navigation tracks"],"prefix":"10.1109","author":[{"family":"Ankur Parikh","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Weixin Wu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael S.","family":"Hsiao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1997.582325"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147098"},{"key":"14","article-title":"symbolic model checking without bdds","author":"biere","year":"1999","journal-title":"Proc of Int'l Conf on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/276698.276876"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1999.1690"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2004.1387345"},{"key":"2","first-page":"737","article-title":"guiding simulation with increasingly refined","author":"nanshi","year":"2006","journal-title":"Design Automation Conference"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244050"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2000.839448"},{"key":"7","author":"hand","year":"2001","journal-title":"Principles of Data Mining"},{"key":"6","first-page":"599","article-title":"dill validation with guided search of the state space","author":"yang","year":"1998","journal-title":"Design Automation Conference"},{"key":"5","author":"goldberg","year":"1989","journal-title":"Genetic Algorithms in Search Optimization and Machine Learning"},{"key":"4","author":"holland","year":"1975","journal-title":"Adaptation in Natural and Artificial Systems"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/69.250074"},{"key":"8","first-page":"307","article-title":"fast discovery of association rules","author":"agrawal","year":"1996","journal-title":"Advances in Knowledge Discovery and Data Mining"}],"event":{"name":"2007 IEEE International Test Conference","location":"Santa Clara, CA, USA","start":{"date-parts":[[2007,10,21]]},"end":{"date-parts":[[2007,10,26]]}},"container-title":["2007 IEEE International Test Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4437545\/4437546\/04437588.pdf?arnumber=4437588","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T20:53:53Z","timestamp":1781297633000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4437588\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/test.2007.4437588","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}