{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T09:48:14Z","timestamp":1725443294041},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1109\/iccd.2008.4751839","type":"proceedings-article","created":{"date-parts":[[2009,1,20]],"date-time":"2009-01-20T20:27:15Z","timestamp":1232483235000},"page":"46-51","source":"Crossref","is-referenced-by-count":0,"title":["Ant Colony Optimization directed program abstraction for software bounded model checking"],"prefix":"10.1109","author":[{"family":"Xueqi Cheng","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\/CROWNCOM.2006.363476"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8157-6_23"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2007.4601875"},{"key":"15","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-63166-6_10","article-title":"construction of abstract state graphs with pvs","author":"graf","year":"1997","journal-title":"Computer Aided Verification (CAV)"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"key":"13","first-page":"168","article-title":"a tool for checking ansi-c programs","author":"clarke","year":"2004","journal-title":"Proc TACAS"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61042-1_48"},{"key":"11","first-page":"76","article-title":"model-driven software verification","author":"holzmann","year":"2004","journal-title":"SPI Proc"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.781333"},{"key":"3","article-title":"extracting test sequences from a markov software usage model by aco","author":"doerner","year":"2003","journal-title":"Proc of GECCO"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_28"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/3477.484436"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_7"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1060289.1060297"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1145\/1276958.1277172","article-title":"automatic mutation test input data generation via ant colony","author":"ayari","year":"2007","journal-title":"Proc of GECCO"},{"key":"5","article-title":"an ant colony optimization approach to test sequence generation for state-based software testing","author":"li","year":"2005","journal-title":"Proc Int l Conf Quality Software"},{"key":"4","first-page":"2488","article-title":"the state problem for evolutionary testing","author":"mcminn","year":"2003","journal-title":"Proc of GECCO"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146255"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181790"}],"event":{"name":"2008 IEEE International Conference on Computer Design (ICCD)","start":{"date-parts":[[2008,10,12]]},"location":"Lake Tahoe, CA, USA","end":{"date-parts":[[2008,10,15]]}},"container-title":["2008 IEEE International Conference on Computer Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4740204\/4751825\/04751839.pdf?arnumber=4751839","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T11:19:41Z","timestamp":1558091981000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4751839\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iccd.2008.4751839","relation":{},"subject":[],"published":{"date-parts":[[2008,10]]}}}