{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T16:08:49Z","timestamp":1784390929173,"version":"3.55.0"},"reference-count":55,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/ase.2013.6693094","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T17:07:25Z","timestamp":1389028045000},"page":"356-366","source":"Crossref","is-referenced-by-count":196,"title":["Leveraging program equivalence for adaptive program repair: Models and first results"],"prefix":"10.1109","author":[{"given":"Westley","family":"Weimer","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zachary P.","family":"Fry","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stephanie","family":"Forrest","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"35","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370040303"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U"},{"key":"33","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/3-540-45937-5_16","article-title":"CIL: Intermediate language and tools for analysis and transformation of C programs","author":"necula","year":"2002","journal-title":"Conference on Compiler Construction"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2010.2052622"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1145\/75309.75324"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1145\/125489.125473"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.30"},{"key":"42","doi-asserted-by":"crossref","first-page":"432","DOI":"10.1145\/1035292.1029012","article-title":"Chianti: A tool for change impact analysis of java programs","volume":"39","author":"ren","year":"2004","journal-title":"SIGPlan Notices"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483785"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC-PART.2008.18"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993544"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227211"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/2330163.2330296"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134336"},{"key":"2","first-page":"1338","article-title":"How to overcome the equivalent mutant problem and achieve tailored selective mutation using co-evolution","volume":"3103","author":"adamopoulos","year":"2004","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"1","author":"acree","year":"1980","journal-title":"On Mutation"},{"key":"7","author":"budd","year":"1980","journal-title":"Mutation Analysis of Program Test Data"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1991.170248"},{"key":"6","article-title":"Reversible debugging sfotware","author":"britton","year":"2013","journal-title":"Technical report University of Cambridge"},{"key":"5","article-title":"Heuristics for determining equivalence of program mutations","author":"baldwin","year":"1979","journal-title":"Department of Computer Science Research Report"},{"key":"32","first-page":"67","article-title":"Dynamic test generation to find integer bugs in x86 binary Linux programs","author":"molnar","year":"2009","journal-title":"USENIX Security Symposium"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1370175.1370223"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370040104"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606624"},{"key":"8","article-title":"Detecting and escaping infinite loops with Jolt","author":"carbin","year":"2011","journal-title":"Proceedings of European Conference of Object-Oriented Programming"},{"key":"19","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<233::AID-STVR191>3.0.CO;2-3"},{"key":"55","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2010.2083669"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336775"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/12.142681"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1830483.1830654"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570031"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146266"},{"key":"11","year":"2011","journal-title":"Online Exposure Social Networks Mobile Phones and Scams Can Threaten Your Security"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.66"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2008.36"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235571"},{"key":"49","year":"2011","journal-title":"Internet Security Threat Report"},{"key":"48","year":"2006","journal-title":"Internet Security Threat Report"},{"key":"45","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368136"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-013-9195-8"},{"key":"47","article-title":"Dira: Automatic detection, identification and repair of control-hijacking attacks","author":"smirnov","year":"2005","journal-title":"Proc Symp Network and Distributed System Security"},{"key":"46","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2005.144"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606625"},{"key":"51","author":"voas","year":"1998","journal-title":"Software Fault Injection Inoculating Programs Against Errors"},{"key":"52","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831716"},{"key":"53","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173734"},{"key":"54","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"50","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1145\/154183.154265","article-title":"Mutation analysis using mutant schemata","author":"untch","year":"1993","journal-title":"International Symposium on Software Testing and Analysis"}],"event":{"name":"2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE)","location":"Silicon Valley, CA, USA","start":{"date-parts":[[2013,11,11]]},"end":{"date-parts":[[2013,11,15]]}},"container-title":["2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6684409\/6693054\/06693094.pdf?arnumber=6693094","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,22]],"date-time":"2024-05-22T16:01:57Z","timestamp":1716393717000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6693094\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":55,"URL":"https:\/\/doi.org\/10.1109\/ase.2013.6693094","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}