{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:15:21Z","timestamp":1730279721995,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/iwast.2012.6228990","type":"proceedings-article","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T21:36:07Z","timestamp":1341956167000},"page":"50-56","source":"Crossref","is-referenced-by-count":2,"title":["An industrial case study of the effectiveness of test generators"],"prefix":"10.1109","author":[{"given":"Pietro","family":"Braione","sequence":"first","affiliation":[]},{"given":"Giovanni","family":"Denaro","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Mattavelli","sequence":"additional","affiliation":[]},{"given":"Mattia","family":"Vivanti","sequence":"additional","affiliation":[]},{"given":"Ali","family":"Muhammad","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-14295-6_10","article-title":"Lazy annotation for program testing and verification","author":"mcmillan","year":"2010","journal-title":"Computer Aided Verification (CAV)"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1808266.1808275"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.40"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270315"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007528"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.69"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/32.988709"},{"key":"21","article-title":"Automated whitebox fuzz testing","author":"godefroid","year":"0","journal-title":"Network and Distributed System Security Symposium (NDSS) 2008"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TAICPART.2009.15"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001425"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnucmat.2004.04.004"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.1999.0335"},{"key":"25","article-title":"Water hydraulic teleoperation system for ITER","volume":"3","author":"muhammad","year":"2007","journal-title":"Proceedings of the 10th Scandinavian International Conference on Fluid Power"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/S0920-3796(02)00202-8"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9150-y"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.32"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"10","article-title":"Pex - White box test generation for.NET","author":"tillmann","year":"0","journal-title":"International Conference on Tests and Proofs (TAP) 2008"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.602"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"6","article-title":"CUTE: A concolic unit testing engine for C","author":"sen","year":"0","journal-title":"International Symposium on Foundations of Software Engineering (ESEC\/FSE) 2005"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368099"},{"key":"9","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"0","journal-title":"Symposium on Operating Systems Design and Implementation (OSDI) 2008"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_12"}],"event":{"name":"2012 7th International Workshop on Automation of Software Test (AST 2012)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich","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\/06228990.pdf?arnumber=6228990","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,6]],"date-time":"2020-03-06T15:48:49Z","timestamp":1583509729000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6228990\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/iwast.2012.6228990","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}