{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:24:00Z","timestamp":1725791040795},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/cec.2008.4631202","type":"proceedings-article","created":{"date-parts":[[2008,9,26]],"date-time":"2008-09-26T15:17:53Z","timestamp":1222442273000},"page":"2997-3004","source":"Crossref","is-referenced-by-count":8,"title":["Finding liveness errors with ACO"],"prefix":"10.1109","author":[{"given":"Francisco","family":"Chicano","sequence":"first","affiliation":[]},{"given":"Enrique","family":"Alba","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1145\/566172.566175","article-title":"model checking java programs using structural heuristics","author":"groce","year":"2002","journal-title":"Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis"},{"key":"17","first-page":"23","article-title":"on nested depth first search","author":"holzmann","year":"1996","journal-title":"Proc Second SPIN Workshop"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45139-0_5"},{"key":"15","first-page":"75","article-title":"protocol verification with heuristic search","author":"edelkamp","year":"2001","journal-title":"AAAI-Spring Symposium on Model-based Validation Intelligence"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-002-0104-3"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2007.11.015"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0141-1"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/32.988709"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-003-0130-9"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1998.730569"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/937503.937505"},{"key":"24","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1290.001.0001","author":"dorigo","year":"2004","journal-title":"Ant Colonv Optimization"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/362946.362970"},{"key":"26","article-title":"validation of a remote object invocation and object migration in corba giop using promela\/spin","author":"kamel","year":"0","journal-title":"International SPIN Workshop"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/1276958.1276961"},{"journal-title":"Handbook of Parametric and Nonparametric Statistical Procedures","year":"2007","author":"sheskin","key":"28"},{"year":"0","key":"3"},{"journal-title":"Model checking","year":"2000","author":"clarke","key":"2"},{"key":"10","first-page":"1066","article-title":"finding safety errors with aco","author":"burch","year":"2007","journal-title":"Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2007)"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"7","article-title":"symmetry reduction and heuristic search for error detection in model checking","author":"lafuente","year":"2003","journal-title":"Workshop on Model Checking and Artificial Intelligence"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46017-9_10","article-title":"partial order reduction in directed model checking","author":"lluch-lafuente","year":"2002","journal-title":"9th International SPIN Workshop on Model Checking Software"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459838"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"year":"0","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/43.275352"}],"event":{"name":"2008 IEEE Congress on Evolutionary Computation (CEC)","start":{"date-parts":[[2008,6,1]]},"location":"Hong Kong, China","end":{"date-parts":[[2008,6,6]]}},"container-title":["2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4625778\/4630767\/04631202.pdf?arnumber=4631202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,17]],"date-time":"2021-09-17T09:51:54Z","timestamp":1631872314000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4631202\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/cec.2008.4631202","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}