{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:44:33Z","timestamp":1755999873710,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/ase.2011.6100059","type":"proceedings-article","created":{"date-parts":[[2011,12,16]],"date-time":"2011-12-16T18:30:08Z","timestamp":1324060208000},"page":"23-32","source":"Crossref","is-referenced-by-count":44,"title":["Scaling up automated test generation: Automatically generating maintainable regression unit tests for programs"],"prefix":"10.1109","author":[{"given":"Brian","family":"Robinson","sequence":"first","affiliation":[]},{"given":"Michael D.","family":"Ernst","sequence":"additional","affiliation":[]},{"given":"Jeff H.","family":"Perkins","sequence":"additional","affiliation":[]},{"given":"Vinay","family":"Augustine","sequence":"additional","affiliation":[]},{"given":"Nuo","family":"Li","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Directed Random Testing","year":"2009","author":"pacheco","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271785"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/11558569_18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"16","first-page":"496","article-title":"Finding bugs by isolating unit tests","author":"mus?lu","year":"2011","journal-title":"ESEC\/FSE New Ideas Track"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.308"},{"journal-title":"An Evaluation of Exhaustive Testing for Data Structures","year":"2003","author":"marinov","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/WST.1988.5376"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201188"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390643"},{"key":"20","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1007\/11531142_22","article-title":"Eclat: Automatic generation and classification of test inputs","volume":"3586","author":"pacheco","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2011.20"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2006.91"},{"key":"25","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":"26","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC.PART.2007.12"},{"key":"27","first-page":"203","article-title":"Model checking programs","volume":"10","author":"visser","year":"2003","journal-title":"ASE"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146243"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2004.1342737"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553585"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.602"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1145735.1145737"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"30","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/978-3-540-31980-1_24","article-title":"Symstra: A framework for generating object-oriented unit tests using symbolic execution","volume":"3440","author":"xie","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"7","first-page":"59","article-title":"An empirical study of the robustness of Windows NT applications using random testing","author":"forrester","year":"2000","journal-title":"USENIX Windows"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/226155.226158"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.13"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1007\/s10851-006-8530-6"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146267"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2005.10"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"}],"event":{"name":"2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2011,11,6]]},"location":"Lawrence, KS, USA","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\/06100059.pdf?arnumber=6100059","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T11:28:19Z","timestamp":1497958099000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6100059\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/ase.2011.6100059","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}