{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T18:26:09Z","timestamp":1763663169854},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/issre.2013.6698889","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T12:09:09Z","timestamp":1389010149000},"source":"Crossref","is-referenced-by-count":52,"title":["Improving search-based test suite generation with dynamic symbolic execution"],"prefix":"10.1109","author":[{"given":"Juan Pablo","family":"Galeotti","sequence":"first","affiliation":[]},{"given":"Gordon","family":"Fraser","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Arcuri","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"141","author":"mcminn","year":"2012","journal-title":"IEEE International Conference on Software Testing Verification and Validation (ICST)"},{"key":"17","author":"malburg","year":"2011","journal-title":"IEEE\/ACM Int Conference on Automated Software Engineering (ASE)"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"key":"15","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1007\/978-3-642-16573-3_11","author":"lakhotia","year":"2010","journal-title":"Proceedings of the 22nd Int Conference on Testing Software and Systems ICTSS'10"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572286"},{"key":"14","doi-asserted-by":"crossref","first-page":"870","DOI":"10.1109\/32.57624","author":"korel","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11","first-page":"297","author":"inkumsah","year":"2008","journal-title":"ASE'08 Proc of the 23rd IEEE\/ACM Int Conference on Automated Software Engineering"},{"key":"12","first-page":"26","author":"islam","year":"2010","journal-title":"International Workshop on Dynamic Analysis (WODA)"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33119-0_16"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"22","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1145\/1081706.1081750","author":"sen","year":"2005","journal-title":"ESEC\/FSE-13 Proc of the 10th European Software Engineering Conf Held Jointly with 13th ACM SIGSOFT Int Symposium on Foundations of Software Engineering"},{"key":"23","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-642-20398-5_26","author":"souza","year":"2011","journal-title":"Proc Conference on NASA Formal Methods NFM'11"},{"key":"24","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","author":"tillmann","year":"2008","journal-title":"International Conference on Tests and Proofs (TAP)"},{"key":"25","first-page":"119","author":"tonella","year":"2004","journal-title":"ACM Int Symposium on Software Testing and Analysis (ISSTA)"},{"key":"26","first-page":"611","author":"xiao","year":"2011","journal-title":"Proc Int Conference on Software Engineering ICSE'11"},{"key":"27","first-page":"359","author":"xie","year":"2009","journal-title":"Dependable Systems and Networks"},{"key":"3","author":"baars","year":"2011","journal-title":"IEEE\/ACM Int Conference on Automated Software Engineering (ASE)"},{"key":"2","author":"arcuri","year":"2012","journal-title":"Software Testing Verification and Reliability (STVR)"},{"key":"10","first-page":"73","author":"harman","year":"2007","journal-title":"ACM Int Symposium on Software Testing and Analysis (ISSTA)"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.457"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.14"},{"key":"6","first-page":"178","author":"fraser","year":"2012","journal-title":"ACM\/IEEE International Conference on Software Engineering (ICSE)"},{"key":"5","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"4","author":"borges","year":"2012","journal-title":"IEEE International Conference on Software Testing Verification and Validation (ICST)"},{"key":"9","first-page":"213","author":"godefroid","year":"2005","journal-title":"ACM Conference on Programming Language Design and Implementation (PLDI)"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.93"}],"event":{"name":"2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)","location":"Pasadena, CA, USA","start":{"date-parts":[[2013,11,4]]},"end":{"date-parts":[[2013,11,7]]}},"container-title":["2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6689494\/6698873\/06698889.pdf?arnumber=6698889","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T01:23:09Z","timestamp":1498094589000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6698889\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/issre.2013.6698889","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}