{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T00:42:05Z","timestamp":1769733725151,"version":"3.49.0"},"reference-count":54,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227195","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T17:24:04Z","timestamp":1341854644000},"page":"178-188","source":"Crossref","is-referenced-by-count":72,"title":["Sound empirical evidence in software testing"],"prefix":"10.1109","author":[{"given":"Gordon","family":"Fraser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Arcuri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"35","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-13 Proc of the 10th European Software Engineering Conf Held Jointly with 13th ACM SIGSOFT Int Symposium on Foundations of Software Engineering"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19811-3_19"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12148-7_19"},{"key":"34","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/11817963_38","article-title":"Cute and jcute: Concolic unit testing and explicit path model-checking tools","volume":"4144","author":"sen","year":"2006","journal-title":"Lecture Notes in Computer Science"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.60"},{"key":"37","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/s10515-007-0015-3","article-title":"JWalk: A tool for lazy, systematic testing of java classes by design introspection and user interaction","volume":"14","author":"simons","year":"2007","journal-title":"Automated Software Engg"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831732"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007528"},{"key":"42","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1145\/1081706.1081749","article-title":"Parameterized unit tests","author":"tillmann","year":"2005","journal-title":"Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering ESEC\/FSE-13"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595725"},{"key":"40","first-page":"77","article-title":"Dygen: Automatic generation of high-coverage tests via mining gigabytes of dynamic traces","author":"thummalapenta","year":"2010","journal-title":"Proceedings of the 4th International Conference on Tests and Proofs TAP'10"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.40"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831729"},{"key":"24","article-title":"Jfuzz: A concolic whitebox fuzzer for Java","author":"karthick jayaraman","year":"2009","journal-title":"Proceedings of NASA Formal Methods Workshop (NFM 2009)"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100092"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989787"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"key":"28","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/11558569_18","article-title":"Jartege: A Tool for Random Generation of Unit Tests for Java Classes","volume":"3712","author":"oriat","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"29","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1007\/11531142_22","article-title":"Eclat: Automatic generation and classification of test inputs","author":"pacheco","year":"2005","journal-title":"ECOOP 2005 - Object-Oriented Programming 19th European Conference"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321654"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1145735.1145741"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.12"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2007.11.024"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.121"},{"key":"5","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-3-642-16573-3_8","article-title":"Black-box system testing of real-time embedded systems using random and search-based testing","author":"arcuri","year":"2010","journal-title":"IFIP International Conference on Testing Software and Systems (ICTSS)"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.06.009"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.46"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390635"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/566189.566191"},{"key":"8","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1109\/ICST.2010.54","article-title":"Testful: An evolutionary test approach for java","author":"baresi","year":"2010","journal-title":"IEEE International Conference on Software Testing Verification and Validation (ICST)"},{"key":"19","article-title":"Mutation-driven generation of unit tests and oracles","volume":"99","author":"fraser","year":"2011","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2011.19"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"15","doi-asserted-by":"crossref","DOI":"10.1145\/1348250.1348254","article-title":"DSD-Crasher: A hybrid analysis tool for bug finding","volume":"17","author":"csallner","year":"2008","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.13"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1002\/spe.602"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062533"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368099"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.20"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.12"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831712"},{"key":"49","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985876"},{"key":"48","doi-asserted-by":"publisher","DOI":"10.1145\/1143997.1144317"},{"key":"45","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007526"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146243"},{"key":"47","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.24"},{"key":"46","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146243"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2010.26"},{"key":"51","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","author":"xie","year":"2005","journal-title":"Proceedings of the 11th Int Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"52","doi-asserted-by":"publisher","DOI":"10.1007\/s10851-006-8530-6"},{"key":"53","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609672"},{"key":"54","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001463"},{"key":"50","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2004.1342737"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE 2012)","location":"Zurich","start":{"date-parts":[[2012,6,2]]},"end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227195.pdf?arnumber=6227195","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T17:08:10Z","timestamp":1497978490000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227195\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":54,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227195","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}