{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T18:35:01Z","timestamp":1773686101611,"version":"3.50.1"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/ase.2011.6100119","type":"proceedings-article","created":{"date-parts":[[2011,12,16]],"date-time":"2011-12-16T18:30:08Z","timestamp":1324060208000},"page":"53-62","source":"Crossref","is-referenced-by-count":62,"title":["Symbolic search-based testing"],"prefix":"10.1109","author":[{"given":"Arthur","family":"Baars","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Harman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Youssef","family":"Hassoun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kiran","family":"Lakhotia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phil","family":"McMinn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Tonella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tanja","family":"Vos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"14","article-title":"Reducing bias and inefficiency in the selection algorithm","author":"baker","year":"1987","journal-title":"Genetic Algorithms and their Applications (ICGA'87)"},{"key":"17","article-title":"Evolutionary algorithms: Overview, methods and operators","author":"pohlheim","year":"1999","journal-title":"Documentation For Genetic Evolutionary Algorithm Toolbox for Use with Matlab Version Toolbox 1 92 Documentation 1 92"},{"key":"18","author":"whitley","year":"1989","journal-title":"The GENITOR Algorithm and Selection Pressure Why Rank-based Allocation of Reproductive Trials Is Best"},{"key":"15","author":"wheeler","year":"2001","journal-title":"More Than A Gigabuck Estimating GNU\/Linux's Size"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1137\/0202009"},{"key":"13","author":"mcminn","year":"2007","journal-title":"IGUANA Input Generation Using Automated Novel Algorithms A Plug and Play Research Tool"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.18"},{"key":"11","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/1064978.1065036","article-title":"DART: Directed automated random testing","volume":"40","author":"godefroid","year":"2005","journal-title":"ACM SIGPLAN Notices"},{"key":"12","author":"beizer","year":"1990","journal-title":"Software Testing Techniques 2nd Edition"},{"key":"21","year":"2011","journal-title":"R A Language and Environment for Statistical Computing"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1162\/evco.1993.1.1.25"},{"key":"22","first-page":"1098","article-title":"A multi-objective approach to search-based test data generation","author":"harman","year":"2007","journal-title":"GECCO"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"24","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/11537328_2","article-title":"Execution generated test cases: How to make systems code crash itself","volume":"3639","author":"cadar","year":"2005","journal-title":"10th Int SPIN Workshop on Model Checking Software"},{"key":"25","first-page":"134","article-title":"Pex-white box test generation for.NET","author":"tillmann","year":"2008","journal-title":"TAP"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321700"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007528"},{"key":"28","first-page":"419","article-title":"CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools","author":"sen","year":"2006","journal-title":"CAV"},{"key":"29","first-page":"142","article-title":"FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution","author":"lakhotia","year":"2010","journal-title":"ICTSS"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.71"},{"key":"10","first-page":"205","article-title":"It does matter how you normalise the branch distance in search based software testing","author":"arcuri","year":"2010","journal-title":"ICST"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287647"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/1389095.1389435"},{"key":"7","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","article-title":"Evolutionary test environment for automatic structural testing","volume":"43","author":"wegener","year":"2001","journal-title":"Information and Software Technology"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/32.988709"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.07.026"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1998.732680"},{"key":"8","author":"harman","year":"2009","journal-title":"Search Based Software Engineering A Comprehensive Analysis and Review of Trends Techniques and Applications"}],"event":{"name":"2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Lawrence, KS, USA","start":{"date-parts":[[2011,11,6]]},"end":{"date-parts":[[2011,11,10]]}},"container-title":["2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093623\/6100039\/06100119.pdf?arnumber=6100119","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,21]],"date-time":"2019-06-21T01:14:35Z","timestamp":1561079675000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6100119\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/ase.2011.6100119","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}