{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:03:32Z","timestamp":1760061812581},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1109\/test.2009.5355676","type":"proceedings-article","created":{"date-parts":[[2009,12,24]],"date-time":"2009-12-24T13:29:18Z","timestamp":1261661358000},"page":"1-10","source":"Crossref","is-referenced-by-count":8,"title":["An ant colony optimization technique for abstraction-guided state justification"],"prefix":"10.1109","author":[{"given":"Min","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael S.","family":"Hsiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2004.1387345"},{"key":"22","first-page":"1125","article-title":"Itc99 benchmark circuits - Preliminary results","author":"davidson","year":"1999","journal-title":"Proc IEEE Int Symp Circuits and Systems"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1057\/palgrave.jors.2600357"},{"journal-title":"State Justification Benchmarks","year":"0","key":"23"},{"key":"18","first-page":"284","article-title":"Ant colony optimization for resource-constrained project scheduling with generalized precedence relations","author":"luo","year":"2003","journal-title":"Proc 11th IEEE Intl On Tools with Artificial Intelligence"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/MCI.2006.329691"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ICEC.1997.592327"},{"journal-title":"Optimization learning and natural algorithms","year":"1995","author":"dorigo","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/3477.484436"},{"key":"11","first-page":"1","article-title":"Mining-guided state justification with partitioned navigation tracks","author":"parikh","year":"2007","journal-title":"Proc Int Test Conf"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1997.582325"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1989.100747"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113767"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2000.896528"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1991.206393"},{"key":"10","first-page":"63","article-title":"An effective guidance strategy for abstraction-guided simulation","author":"flavio","year":"2007","journal-title":"Proc Design Automation Conf"},{"key":"7","first-page":"599","article-title":"Validation with guided search of the state space","author":"yang","year":"1998","journal-title":"Proc Design Automation Conf"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.781346"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1999.810713"},{"key":"4","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1007\/3-540-48683-6_36","article-title":"Model checking based on sequential ATPG","author":"boppana vamsi","year":"1999","journal-title":"Proc Int Conf Computer-Aided Verification"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147097"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2006.319979"}],"event":{"name":"2009 IEEE International Test Conference (ITC)","start":{"date-parts":[[2009,11,1]]},"location":"Austin, TX, USA","end":{"date-parts":[[2009,11,6]]}},"container-title":["2009 International Test Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5348788\/5355529\/05355676.pdf?arnumber=5355676","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T23:13:18Z","timestamp":1497827598000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5355676\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/test.2009.5355676","relation":{},"subject":[],"published":{"date-parts":[[2009,11]]}}}