{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T04:20:34Z","timestamp":1769746834328,"version":"3.49.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227132","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T21:24:04Z","timestamp":1341869044000},"page":"870-880","source":"Crossref","is-referenced-by-count":29,"title":["Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing"],"prefix":"10.1109","author":[{"given":"Matt","family":"Staats","sequence":"first","affiliation":[]},{"given":"Gregory","family":"Gay","sequence":"additional","affiliation":[]},{"given":"Mats P. E.","family":"Heimdahl","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","year":"2005","journal-title":"The NuSMV Toolset Users Manual"},{"key":"17","doi-asserted-by":"crossref","DOI":"10.1002\/9780470168707","author":"kvam","year":"2007","journal-title":"Nonparametric Statistics with Applications to Science and Engineering"},{"key":"18","year":"0","journal-title":"Simulink Product Web Site"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2004.1281742"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"13","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1145\/318774.318939","article-title":"Using model checking to generate tests from requirements specifications","volume":"24","author":"gargantini","year":"1999","journal-title":"Software Engineering Notes"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001464"},{"key":"12","author":"garey","year":"1979","journal-title":"Computers and Intractability"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368111"},{"key":"20","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"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368111"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88194-0_8"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2001.922409"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1992.753494"},{"key":"26","year":"1992","journal-title":"DO-178B Software Considerations in Airborne Systems and Equipment Certification"},{"key":"27","article-title":"New ideas and emerging results track: Better testing through oracle selection","author":"staats","year":"2011","journal-title":"Proc of NIER Workshop Int'l Conf on Software Engineering (ICSE) 2011"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985847"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.60"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.79"},{"key":"2","author":"baresi","year":"0","journal-title":"Test Oracles"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831728"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/43.851997"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"6","author":"cormen","year":"2001","journal-title":"Introduction to Algorithms"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1145\/1189748.1189752"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1287\/moor.4.3.233"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1994.341367"},{"key":"4","author":"chilenski","year":"2001","journal-title":"An Investigation of Three Forms of the Modified Condition Decision Coverage (MCDC) Criterion"},{"key":"9","author":"fisher","year":"1935","journal-title":"The Design of Experiment"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287707"}],"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\/06227132.pdf?arnumber=6227132","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:07:57Z","timestamp":1497992877000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227132\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227132","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}