{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:26:28Z","timestamp":1763663188002,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,7,21]],"date-time":"2014-07-21T00:00:00Z","timestamp":1405900800000},"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":[[2014,7,21]]},"DOI":"10.1145\/2610384.2628049","type":"proceedings-article","created":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T12:10:42Z","timestamp":1405080642000},"page":"421-424","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Extending a search-based test generator with adaptive dynamic symbolic execution"],"prefix":"10.1145","author":[{"given":"Juan Pablo","family":"Galeotti","sequence":"first","affiliation":[{"name":"Saarland University, Germany"}]},{"given":"Gordon","family":"Fraser","sequence":"additional","affiliation":[{"name":"University of Sheffield, UK"}]},{"given":"Andrea","family":"Arcuri","sequence":"additional","affiliation":[{"name":"Simula Research Laboratory, Norway"}]}],"member":"320","published-online":{"date-parts":[[2014,7,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/1814087.1814104"},{"key":"e_1_3_2_1_2_1","first-page":"340","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"De Moura L.","unstructured":"L. De Moura and N. Bj\u00f8rner . Z3: An efficient smt solver . In Tools and Algorithms for the Construction and Analysis of Systems , pages 337\u2013 340 . Springer, 2008. L. De Moura and N. Bj\u00f8rner. Z3: An efficient smt solver. In Tools and Algorithms for the Construction and Analysis of Systems, pages 337\u2013340. Springer, 2008."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337245"},{"key":"e_1_3_2_1_5_1","volume-title":"Empirical Software Engineering (EMSE)","author":"Fraser G.","year":"2013","unstructured":"G. Fraser and A. Arcuri . 1600 faults in 100 projects: Automatically finding faults while achieving high coverage with EvoSuite . Empirical Software Engineering (EMSE) , 2013 . (to appear). G. Fraser and A. Arcuri. 1600 faults in 100 projects: Automatically finding faults while achieving high coverage with EvoSuite. Empirical Software Engineering (EMSE), 2013. (to appear)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.53"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.51"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.93"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2013.6698889"},{"key":"e_1_3_2_1_11_1","volume-title":"Fundamentals of Software Engineering","author":"Ghezzi C.","year":"2002","unstructured":"C. Ghezzi , M. Jazayeri , and D. Mandrioli . Fundamentals of Software Engineering . Prentice Hall PTR , Upper Saddle River, NJ, USA, 2 nd edition, 2002 . C. Ghezzi, M. Jazayeri, and D. Mandrioli. Fundamentals of Software Engineering. Prentice Hall PTR, Upper Saddle River, NJ, USA, 2nd edition, 2002.","edition":"2"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.71"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868321.1868326"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v14:2"}],"event":{"name":"ISSTA '14: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"San Jose CA USA","acronym":"ISSTA '14"},"container-title":["Proceedings of the 2014 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2610384.2628049","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2610384.2628049","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:55:53Z","timestamp":1750229753000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2610384.2628049"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,21]]},"references-count":16,"alternative-id":["10.1145\/2610384.2628049","10.1145\/2610384"],"URL":"https:\/\/doi.org\/10.1145\/2610384.2628049","relation":{},"subject":[],"published":{"date-parts":[[2014,7,21]]},"assertion":[{"value":"2014-07-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}