{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T23:00:59Z","timestamp":1745967659959,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/cec.2008.4631275","type":"proceedings-article","created":{"date-parts":[[2008,9,26]],"date-time":"2008-09-26T11:17:53Z","timestamp":1222427873000},"page":"3531-3536","source":"Crossref","is-referenced-by-count":3,"title":["Experiments in applying evolutionary algorithms to software verification"],"prefix":"10.1109","author":[{"family":"Woei Shyang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Lakos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zbigniew","family":"Michalewicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Schellenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ICEC.1996.542703"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-7533-0_65"},{"key":"15","first-page":"170","article-title":"formal verification of pentium 4 components with symbolic simulation and inductive invariants","volume":"3576","author":"kaivola","year":"2005","journal-title":"LNCS"},{"key":"16","article-title":"partial order reduction in directed model checking","volume":"2318","author":"lluch-lafuente","year":"2002","journal-title":"LNCS"},{"key":"13","first-page":"783","article-title":"fitness uniform selection to preserve genetic diversity","author":"hutter","year":"0","journal-title":"Proc 2002 Congress on Evolutionary Computation (CEC)"},{"key":"14","first-page":"192202","article-title":"bounded-memory algorithms for verification on-the-fly","volume":"575","author":"jard","year":"1991","journal-title":"LNCS"},{"key":"11","article-title":"an analysis of bitstate hashing","author":"holzmann","year":"1995","journal-title":"15th International Symposium on Protocol Specification Testing and Verification"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459838"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"2","first-page":"193","article-title":"symbolic model checking without bdds","volume":"1579","author":"biere","year":"1999","journal-title":"LNCS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1276958.1277171"},{"key":"10","first-page":"160","volume":"9","author":"grefenstette","year":"0","journal-title":"Genetic Algorithm for the TSP"},{"key":"7","first-page":"266","article-title":"exploring very large state spaces using genetic algorithms","volume":"2280","author":"godefroid","year":"2002","journal-title":"LNCS"},{"key":"6","article-title":"directed explicit model checking with hsf-spin","author":"edelkamp","year":"2001","journal-title":"Springer LNCS"},{"article-title":"an analysis of a class of genetic adaptive systems","year":"1975","author":"de jong","key":"5"},{"key":"4","first-page":"115","article-title":"simulated binary crossover for continuous search space","volume":"9","author":"deb","year":"1995","journal-title":"Complex Systems"},{"journal-title":"Proc First International Conference on Genetic Algorithms","year":"1985","key":"9"},{"key":"8","first-page":"41","article-title":"genetic algorithms with sharing for multi-modal function optimization","author":"goldberg","year":"1987","journal-title":"Proc Second International Conference on Genetic Algorithms on Genetic algorithms and their application"}],"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\/04631275.pdf?arnumber=4631275","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T11:21:51Z","timestamp":1489749711000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4631275\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/cec.2008.4631275","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}