{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:52Z","timestamp":1750307812841,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,7,12]],"date-time":"2008-07-12T00:00:00Z","timestamp":1215820800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,7,12]]},"DOI":"10.1145\/1389095.1389435","type":"proceedings-article","created":{"date-parts":[[2008,7,22]],"date-time":"2008-07-22T13:46:39Z","timestamp":1216734399000},"page":"1759-1766","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Handling dynamic data structures in search based testing"],"prefix":"10.1145","author":[{"given":"Kiran","family":"Lakhotia","sequence":"first","affiliation":[{"name":"King's College London, London, United Kngdm"}]},{"given":"Mark","family":"Harman","sequence":"additional","affiliation":[{"name":"King's College London, London, United Kngdm"}]},{"given":"Phil","family":"McMinn","sequence":"additional","affiliation":[{"name":"University of Sheffield, Sheffield, United Kngdm"}]}],"member":"320","published-online":{"date-parts":[[2008,7,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"lp solve. web page: http:\/\/tech.groups.yahoo.com\/group\/lp solve\/.  lp solve. web page: http:\/\/tech.groups.yahoo.com\/group\/lp solve\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11537328_2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/151257.151258"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065036"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.29"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273475"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321700"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1996.0040"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1996.0040"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Sarfraz\n      Khurshid Corina S.\n      Pasareanu and \n      Willem\n      Visser\n    .\n  Generalized symbolic execution for model checking and testing\n  . In Hubert Garavel and John Hatcliff editors TACAS volume \n  2619\n   of \n  Lecture Notes in Computer Science pages \n  553\n  --\n  568\n  . \n  Springer 2003\n  .   Sarfraz Khurshid Corina S. Pasareanu and Willem Visser. Generalized symbolic execution for model checking and testing. In Hubert Garavel and John Hatcliff editors TACAS volume 2619 of Lecture Notes in Computer Science pages 553--568. Springer 2003.","DOI":"10.1007\/3-540-36577-X_40"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v14:2"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988709"},{"key":"e_1_3_2_1_17_1","series-title":"Lecture Notes in Computer Science, 2304: 213--??","volume-title":"CIL: Intermediate language and tools for analysis and transformation of C programs","author":"Necula George C.","year":"2002","unstructured":"George C. Necula , Scott McPeak , Shree P. Rahul , and Westley Weimer . CIL: Intermediate language and tools for analysis and transformation of C programs . Lecture Notes in Computer Science, 2304: 213--?? , 2002 . George C. Necula, Scott McPeak, Shree P. Rahul, and Westley Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. Lecture Notes in Computer Science, 2304:213--??, 2002."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_38"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007528"},{"key":"e_1_3_2_1_21_1","volume-title":"Evolutionary test environment for automatic structural testing. Information and Software Technology Special Issue on Software Engineering using Metaheuristic Innovative Algorithms, 43(14):841--854","author":"Wegener Joachim","year":"2001","unstructured":"Joachim Wegener , Andr\u00b4e Baresel , and Harmen Sthamer . Evolutionary test environment for automatic structural testing. Information and Software Technology Special Issue on Software Engineering using Metaheuristic Innovative Algorithms, 43(14):841--854 , 2001 . Joachim Wegener, Andr\u00b4e Baresel, and Harmen Sthamer. Evolutionary test environment for automatic structural testing. Information and Software Technology Special Issue on Software Engineering using Metaheuristic Innovative Algorithms, 43(14):841--854, 2001."},{"key":"e_1_3_2_1_22_1","first-page":"625","volume-title":"5th International Conference on Software Engineering and its Applications","author":"Xanthakis S.","year":"1992","unstructured":"S. Xanthakis , C. Ellis , C. Skourlas , A. Le Gall , S. Katsikas , and K. Karapoulios . Application of genetic algorithms to software testing (Application des algorithmes g\u00e9n\u00e9tiques au test des logiciels) . In 5th International Conference on Software Engineering and its Applications , pages 625 -- 636 , Toulouse, France , 1992 . S. Xanthakis, C. Ellis, C. Skourlas, A. Le Gall, S. Katsikas, and K. Karapoulios. Application of genetic algorithms to software testing (Application des algorithmes g\u00e9n\u00e9tiques au test des logiciels). In 5th International Conference on Software Engineering and its Applications, pages 625--636, Toulouse, France, 1992."}],"event":{"name":"GECCO08: Genetic and Evolutionary Computation Conference","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation","ACM Association for Computing Machinery"],"location":"Atlanta GA USA","acronym":"GECCO08"},"container-title":["Proceedings of the 10th annual conference on Genetic and evolutionary computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1389095.1389435","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1389095.1389435","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:57:38Z","timestamp":1750255058000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1389095.1389435"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,12]]},"references-count":22,"alternative-id":["10.1145\/1389095.1389435","10.1145\/1389095"],"URL":"https:\/\/doi.org\/10.1145\/1389095.1389435","relation":{},"subject":[],"published":{"date-parts":[[2008,7,12]]},"assertion":[{"value":"2008-07-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}