{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T05:23:07Z","timestamp":1776489787071,"version":"3.51.2"},"reference-count":40,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/icse.2015.63","type":"proceedings-article","created":{"date-parts":[[2015,8,17]],"date-time":"2015-08-17T17:26:34Z","timestamp":1439832394000},"page":"448-458","source":"Crossref","is-referenced-by-count":156,"title":["DirectFix: Looking for Simple Program Repairs"],"prefix":"10.1109","author":[{"given":"Sergey","family":"Mechtaev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jooyong","family":"Yi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abhik","family":"Roychoudhury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2593735.2593740"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.40"},{"key":"ref33","first-page":"173","article-title":"Specification-based program repair using SAT","author":"gopinath","year":"2011","journal-title":"TACAS"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_23"},{"key":"ref31","first-page":"267","article-title":"Automated debugging using path-based weakest preconditions","author":"he","year":"2004","journal-title":"FASE"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1409360.1409382"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2011.01.023"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368222"},{"key":"ref35","first-page":"552","article-title":"Falling back on executable specifications","author":"samimi","year":"2010","journal-title":"ECOOP"},{"key":"ref34","first-page":"91","article-title":"Autoaated error localization and correction for imperative programs","author":"k\u00f6nighofer","year":"2011","journal-title":"FMCAD"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/781147.781148"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2312918"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2006.18"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227211"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"ref14","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"moura","year":"2008","journal-title":"TACAS"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-642-03359-9_2","article-title":"VCC: A practical system for verifying concurrent C","author":"cohen","year":"2009","journal-title":"Theorem Proving in Higher Order Logics"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993550"},{"key":"ref17","first-page":"187","article-title":"Error invariants","author":"ermis","year":"2012","journal-title":"FM"},{"key":"ref18","first-page":"364","article-title":"Boogie: A modular reusable verifier for object-oriented programs","author":"barnett","year":"2005","journal-title":"FMCO"},{"key":"ref19","article-title":"The SMT-LIB standard version 2.0","author":"barrett","year":"2012","journal-title":"SMT-LIB Tech Rep"},{"key":"ref28","article-title":"Dira: Automatic detection, identification and repair of control-hijacking attacks","author":"smirnov","year":"2005","journal-title":"Symposium on Network and Distributed System Security"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.74"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146266"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1370750.1370767"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2005.144"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336775"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"ref2","author":"feller","year":"2001","journal-title":"Understanding Open Source Software Development"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/581396.581397"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.153.0182"},{"key":"ref20","first-page":"252","article-title":"On solving the partial max-sat problem","author":"fu","year":"2006","journal-title":"SAT"},{"key":"ref22","first-page":"209","article-title":"Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"OSDI"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-3861-2"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629585"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321702"},{"key":"ref26","first-page":"609","article-title":"Detecting and escaping infinite loops with Jolt","author":"carbin","year":"2011","journal-title":"ECOOP"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993544"}],"event":{"name":"2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering (ICSE)","location":"Florence, Italy","start":{"date-parts":[[2015,5,16]]},"end":{"date-parts":[[2015,5,24]]}},"container-title":["2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7174815\/7194545\/07194596.pdf?arnumber=7194596","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T13:47:58Z","timestamp":1498225678000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7194596\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/icse.2015.63","relation":{},"subject":[],"published":{"date-parts":[[2015,5]]}}}