{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T04:52:14Z","timestamp":1746075134921},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/iwast.2012.6228993","type":"proceedings-article","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T21:36:07Z","timestamp":1341956167000},"page":"71-75","source":"Crossref","is-referenced-by-count":1,"title":["Scalable automated test generation using coverage guidance and random search"],"prefix":"10.1109","author":[{"family":"TheAnh Do","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alvis C.M.","family":"Fong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Russel","family":"Pears","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/2000791.2000796"},{"journal-title":"Software Testing Techniques","year":"1990","author":"beizer","key":"2"},{"key":"10","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1145\/1081706.1081750","article-title":"CUTE: A concolic unit testing engine for C","author":"sen","year":"2005","journal-title":"ESEC\/FSE'05"},{"year":"0","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985995"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.69"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1147\/sj.223.0229"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/229000.226317"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"11","first-page":"134","article-title":"Pex-white box test generation for.NET","author":"tillmann","year":"2008","journal-title":"TAP'08"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270315"}],"event":{"name":"2012 7th International Workshop on Automation of Software Test (AST)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,3]]}},"container-title":["2012 7th International Workshop on Automation of Software Test (AST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6220303\/6228973\/06228993.pdf?arnumber=6228993","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:11:12Z","timestamp":1497993072000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6228993\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/iwast.2012.6228993","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}