{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:55:42Z","timestamp":1725465342116},"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":[]},{"family":"Weixin Wu","sequence":"additional","affiliation":[]},{"given":"Michael S.","family":"Hsiao","sequence":"additional","affiliation":[]}],"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"},{"journal-title":"Principles of Data Mining","year":"2001","author":"hand","key":"7"},{"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"},{"journal-title":"Genetic Algorithms in Search Optimization and Machine Learning","year":"1989","author":"goldberg","key":"5"},{"journal-title":"Adaptation in Natural and Artificial Systems","year":"1975","author":"holland","key":"4"},{"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","start":{"date-parts":[[2007,10,21]]},"location":"Santa Clara, CA, USA","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":[[2017,3,16]],"date-time":"2017-03-16T18:58:14Z","timestamp":1489690694000},"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]]}}}