— Google Scholar, — BibTeX, — tool, — benchmark


DeepFix: Fixing Common C Language Errors by Deep Learning
Rahul Gupta, Soham Pal, Aditya Kanade, Shirish K. Shevade
AAAI 2017: 1345-1351
Contract-based program repair without the contracts
Liushan Chen, Yu Pei, Carlo A. Furia
ASE 2017: 637-647
ELIXIR: effective object oriented program repair
Ripon K. Saha, Yingjun Lyu, Hiroaki Yoshida, Mukul R. Prasad
ASE 2017: 648-659
IntPTI: automatic integer error repair with proper-type inference
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jia-Guang Sun
ASE 2017: 996-1001
Leveraging syntax-related code for automated program repair
Qi Xin, Steven P. Reiss
ASE 2017: 660-670
Tortoise: interactive system configuration repair
Aaron Weiss, Arjun Guha, Yuriy Brun
ASE 2017: 625-636
Repairing Decision-Making Programs Under Uncertainty
Aws Albarghouthi, Loris D'Antoni, Samuel Drews
CAV (1) 2017: 181-200
New Strategies for Selecting Reuse Candidates on Automated Program Repair
Akito Tanikado, Haruki Yokoyama, Masahiro Yamamoto, Soichi Sumi, Yoshiki Higo, Shinji Kusumoto
COMPSAC (2) 2017: 266-267
A feasibility study of using automated program repair for introductory programming assignments
Jooyong Yi, Umair Z. Ahmed, Amey Karkare, Shin Hwei Tan, Abhik Roychoudhury
ESEC/SIGSOFT FSE 2017: 740-751
Automatic inference of code transforms for patch generation
Fan Long, Peter Amidon, Martin C. Rinard
ESEC/SIGSOFT FSE 2017: 727-739
Automatically diagnosing and repairing error handling bugs in C
Yuchi Tian, Baishakhi Ray
ESEC/SIGSOFT FSE 2017: 752-762
Better test cases for better automated program repair
Jinqiu Yang, Alexey Zhikhartsev, Yuefei Liu, Lin Tan
ESEC/SIGSOFT FSE 2017: 831-841
NoFAQ: synthesizing command repairs from examples
Loris D'Antoni, Rishabh Singh, Michael Vaughn
ESEC/SIGSOFT FSE 2017: 582-592
S3: syntax- and semantic-guided repair synthesis via programming by examples
Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser
ESEC/SIGSOFT FSE 2017: 593-604
Synergistic debug-repair of heap manipulations
Sahil Verma, Subhajit Roy
ESEC/SIGSOFT FSE 2017: 163-173
Where is the bug and how is it fixed? an experiment with practitioners
Marcel Böhme, Ezekiel O. Soremekun, Sudipta Chattopadhyay, Emamurho Ugherughe, Andreas Zeller
ESEC/SIGSOFT FSE 2017: 117-128
Common Bug-Fix Patterns: A Large-Scale Observational Study
Eduardo Cunha Campos, Marcelo de Almeida Maia
ESEM 2017: 404-413
Automatic repair of real bugs in java: a large-scale experiment on the defects4j dataset
Matias Martinez, Thomas Durieux, Romain Sommerard, Jifeng Xuan, Martin Monperrus
Empirical Software Engineering 22(4): 1936-1964 (2017)
A Generic Algorithm for Program Repair
Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili
FormaliSE@ICSE 2017: 65-71
Learning syntactic program transformations from examples
Reudismam Rolim de Sousa, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Björn Hartmann
ICSE 2017: 404-415
Precise condition synthesis for program repair
Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang
ICSE 2017: 416-426
Repairing event race errors by controlling nondeterminism
Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen
ICSE 2017: 289-299
Codeflaws: a programming competition benchmark for evaluating automated program repair tools
Shin Hwei Tan, Jooyong Yi, Yulis, Sergey Mechtaev, Abhik Roychoudhury
ICSE (Companion Volume) 2017: 180-182
Production-Driven Patch Generation
Thomas Durieux, Youssef Hamadi, Martin Monperrus
ICSE-NIER 2017: 23-26
An Empirical Study on the Usage of Fault Localization in Automated Program Repair
Deheng Yang, Yuhua Qi, Xiaoguang Mao
ICSME 2017: 504-508
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
Jifeng Xuan, Matias Martinez, Favio Demarco, Maxime Clement, Sebastian R. Lamelas Marcote, Thomas Durieux, Daniel Le Berre, Martin Monperrus
IEEE Trans. Software Eng. 43(1): 34-55 (2017)
Automated repair of layout cross browser issues using search-based techniques
Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond
ISSTA 2017: 249-260
Identifying test-suite-overfitted patches through test case generation
Qi Xin, Steven P. Reiss
ISSTA 2017: 226-236
Impact of tool support in patch construction
Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, Yves Le Traon
ISSTA 2017: 237-248
JFIX: semantics-based repair of Java programs via symbolic PathFinder
Xuan-Bach D. Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser
ISSTA 2017: 376-379
XFix: an automated tool for the repair of layout cross browser issues
Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond
ISSTA 2017: 368-371
A metamorphic testing approach for supporting program repair without the need for a test oracle
Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Dave Towey, Zuohua Ding
Journal of Systems and Software 126: 127-140 (2017)
A Revisit of the Integration of Metamorphic Testing and Test Suite Based Automated Program Repair
Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Zuohua Ding, Eun-Hye Choi, Osamu Mizuno
MET@ICSE 2017: 14-20
Dynamic patch generation for null pointer exceptions using metaprogramming
Thomas Durieux, Benoit Cornu, Lionel Seinturier, Martin Monperrus
SANER 2017: 349-358
An Analysis of the Suitability of Test-Based Patch Acceptance Criteria
Luciano Zemín, Simón Gutiérrez Brida, Ariel Godio, César Cornejo, Renzo Degiovanni, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
SBST@ICSE 2017: 14-20
QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge
Derrick Lin, James Koppel, Angela Chen, Armando Solar-Lezama
SPLASH (Companion Volume) 2017: 55-56
An Investigation into the Use of Mutation Analysis for Automated Program Repair
Christopher Steven Timperley, Susan Stepney, Claire Le Goues
SSBSE 2017: 99-114
Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation
ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest
TACAS (1) 2017: 301-318


BovInspector: automatic inspection and repair of buffer overflow vulnerabilities
Fengjuan Gao, Linzhang Wang, Xuandong Li
ASE 2016: 786-791
A Sketching-Based Approach for Debugging Using Test Cases
Jinru Hua, Sarfraz Khurshid
ATVA 2016: 463-478
Qlose: Program Repair with Quantitative Objectives
Loris D'Antoni, Roopsha Samanta, Rishabh Singh
CAV (2) 2016: 383-401
Sound and Complete Mutation-Based Program Repair
Bat-Chen Rothenberg, Orna Grumberg
FM 2016: 593-611
Optimizing horn solvers for network repair
Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster
FMCAD 2016: 73-80
An analysis of the search spaces for generate and validate patch generation systems
Fan Long, Martin C. Rinard
ICSE 2016: 702-713
Angelix: scalable multiline program patch synthesis via symbolic analysis
Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
ICSE 2016: 691-701
Fixing deadlocks via lock pre-acquisitions
Yan Cai, Lingwei Cao
ICSE 2016: 1109-1120
Enhancing Automated Program Repair with Deductive Verification
Xuan-Bach D. Le, Quang Loc Le, David Lo, Claire Le Goues
ICSME 2016: 428-432
Repairing Intricate Faults in Code Using Machine Learning and Path Exploration
Divya Gopinath, Kaiyuan Wang, Jinru Hua, Sarfraz Khurshid
ICSME 2016: 453-457
ARROW: automated repair of races on client-side web pages
Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, Patrick Eugster
ISSTA 2016: 201-212
ASTOR: a program repair library for Java (demo)
Matias Martinez, Martin Monperrus
ISSTA 2016: 441-444
Optimal sanitization synthesis for web application vulnerability repair
Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, Tevfik Bultan
ISSTA 2016: 189-200
A deeper look into bug fixes: patterns, replacements, deletions, and additions
Mauricio Soto, Ferdian Thung, Chu-Pan Wong, Claire Le Goues, David Lo
MSR 2016: 512-515
Automatic patch generation by learning correct code
Fan Long, Martin C. Rinard
POPL 2016: 298-312
Automated memory leak fixing on value-flow slices for C programs
Hua Yan, Yulei Sui, Shiping Chen, Jingling Xue
SAC 2016: 1386-1393
Toward improving ability to repair bugs automatically: a patch candidate location mechanism using code similarity
Haruki Yokoyama, Yoshiki Higo, Keisuke Hotta, Takafumi Ohta, Kozo Okano, Shinji Kusumoto
SAC 2016: 1364-1370
History Driven Program Repair
Xuan-Bach D. Le, David Lo, Claire Le Goues
SANER 2016: 213-224
Anti-patterns in search-based program repair
Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, Abhik Roychoudhury
SIGSOFT FSE 2016: 727-738
Semi-supervised verified feedback generation
Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani
SIGSOFT FSE 2016: 739-750
Understanding and generating high quality patches for concurrency bugs
Haopeng Liu, Yuxi Chen, Shan Lu
SIGSOFT FSE 2016: 715-726
Improved Crossover Operators for Genetic Programming for Program Repair
Vinicius Paulo L. Oliveira, Eduardo F. D. Souza, Claire Le Goues, Celso G. Camilo-Junior
SSBSE 2016: 112-127


Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T)
Qing Gao, Hansheng Zhang, Jie Wang, Yingfei Xiong, Lu Zhang, Hong Mei
ASE 2015: 307-318
Repairing Programs with Semantic Code Search (T)
Yalin Ke, Kathryn T. Stolee, Claire Le Goues, Yuriy Brun
ASE 2015: 295-306
A Type-Directed Approach to Program Repair
Alex Reinking, Ruzica Piskac
CAV (1) 2015: 511-517
Deductive Program Repair
Etienne Kneuss, Manos Koukoutos, Viktor Kuncak
CAV (2) 2015: 217-233
Is the cure worse than the disease? overfitting in automated program repair
Edward K. Smith, Earl T. Barr, Claire Le Goues, Yuriy Brun
ESEC/SIGSOFT FSE 2015: 532-543
Staged program repair with condition synthesis
Fan Long, Martin C. Rinard
ESEC/SIGSOFT FSE 2015: 166-178
Mining software repair models for reasoning on the search space of automated program fixing
Matias Martinez, Martin Monperrus
Empirical Software Engineering 20(1): 176-205 (2015)
An Empirical Study on Real Bug Fixes
Hao Zhong, Zhendong Su
ICSE (1) 2015: 913-923
CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes
Adrian Nistor, Po-Chun Chang, Cosmin Radoi, Shan Lu
ICSE (1) 2015: 902-912
DirectFix: Looking for Simple Program Repairs
Sergey Mechtaev, Jooyong Yi, Abhik Roychoudhury
ICSE (1) 2015: 448-458
Safe Memory-Leak Fixing for C Programs
Qing Gao, Yingfei Xiong, Yaqing Mi, Lu Zhang, Weikun Yang, Zhaoping Zhou, Bing Xie, Hong Mei
ICSE (1) 2015: 459-470
relifix: Automated Repair of Software Regressions
Shin Hwei Tan, Abhik Roychoudhury
ICSE (1) 2015: 471-482
Automated Program Repair in an Integrated Development Environment
Yu Pei, Carlo A. Furia, Martín Nordio, Bertrand Meyer
ICSE (2) 2015: 681-684
Poster: Automatically Fixing Real-World JavaScript Performance Bugs
Marija Selakovic, Michael Pradel
ICSE (2) 2015: 811-812
Toward improving graftability on automated program repair
Soichi Sumi, Yoshiki Higo, Keisuke Hotta, Shinji Kusumoto
ICSME 2015: 511-515
Toward improving graftability on automated program repair
Soichi Sumi, Yoshiki Higo, Keisuke Hotta, Shinji Kusumoto
ICSME 2015: 511-515
The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs
Claire Le Goues, Neal Holtschulte, Edward K. Smith, Yuriy Brun, Premkumar T. Devanbu, Stephanie Forrest, Westley Weimer
IEEE Trans. Software Eng. 41(12): 1236-1256 (2015)
Experience report: How do techniques, programs, and tests impact automated program repair?
Xianglong Kong, Lingming Zhang, W. Eric Wong, Bixin Li
ISSRE 2015: 194-204
Should fixing these failures be delegated to automated program repair?
Xuan-Bach D. Le, Tien-Duy B. Le, David Lo
ISSRE 2015: 427-437
An analysis of patch plausibility and correctness for generate-and-validate patch generation systems
Zichao Qi, Fan Long, Sara Achour, Martin C. Rinard
ISSTA 2015: 24-36
ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs
Sepideh Khoshnood, Markus Kusano, Chao Wang
ISSTA 2015: 165-176
Automatic error elimination by horizontal code transfer across multiple applications
Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, Martin C. Rinard
PLDI 2015: 43-54


Towards self-healing smartphone software via automated patching
Tanzirul Azim, Iulian Neamtiu, Lisa M. Marvel
ASE 2014: 623-628
Automatic repair of buggy if conditions and missing preconditions with SMT
Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus
CSTVA 2014: 30-39
Automatically Fixing C Buffer Overflows Using Program Transformations
Alex Shaw, Dusten Doggett, Munawar Hafiz
DSN 2014: 124-135
Automatic Program Repair by Fixing Contracts
Yu Pei, Carlo A. Furia, Martín Nordio, Bertrand Meyer
FASE 2014: 246-260
A critical review of "automatic patch generation learned from human-written patches": essay on the problem statement and the evaluation of automatic software repair
Martin Monperrus
ICSE 2014: 234-242
MintHint: automated synthesis of repair hints
Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, Alessandro Orso
ICSE 2014: 266-276
The strength of random search on automated program repair
Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, Chengsong Wang
ICSE 2014: 254-265
Vejovis: suggesting fixes for JavaScript faults
Frolin S. Ocariza Jr., Karthik Pattabiraman, Ali Mesbah
ICSE 2014: 837-847
Do the fix ingredients already exist? an empirical inquiry into the redundancy assumptions of program repair approaches
Matias Martinez, Westley Weimer, Martin Monperrus
ICSE Companion 2014: 492-495
An Assessment of the Quality of Automated Program Operator Repair
Fatmah Yousef Assiri, James M. Bieman
ICST 2014: 273-282
Automated Fixing of Programs with Contracts
Yu Pei, Carlo A. Furia, Martín Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
IEEE Trans. Software Eng. 40(5): 427-449 (2014)
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability
Yiyan Lin, Sandeep S. Kulkarni
ISSTA 2014: 237-247
Defects4J: a database of existing faults to enable controlled testing studies for Java programs
René Just, Darioush Jalali, Michael D. Ernst
ISSTA 2014: 437-440
Semantic differential repair for input validation and sanitization
Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan
ISSTA 2014: 225-236
Cost-Aware Automatic Program Repair
Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson
SAS 2014: 268-284
Automatically generated patches as debugging aids: a human study
Yida Tao, Jindae Kim, Sunghun Kim, Chang Xu
SIGSOFT FSE 2014: 64-74
Grail: context-aware fixing of concurrency bugs
Peng Liu, Omer Tripp, Charles Zhang
SIGSOFT FSE 2014: 318-329
The plastic surgery hypothesis
Earl T. Barr, Yuriy Brun, Premkumar T. Devanbu, Mark Harman, Federica Sarro
SIGSOFT FSE 2014: 306-317
Automatic detection and correction of web application vulnerabilities using data mining to predict false positives
Iberia Medeiros, Nuno Ferreira Neves, Miguel Correia
WWW 2014: 63-74


Leveraging program equivalence for adaptive program repair: Models and first results
Westley Weimer, Zachary P. Fry, Stephanie Forrest
ASE 2013: 356-366
Automated repair of binary and assembly programs for cooperating embedded devices
Eric M. Schulte, Jonathan DiLorenzo, Westley Weimer, Stephanie Forrest
ASPLOS 2013: 317-328
Program Repair without Regret
Christian von Essen, Barbara Jobstmann
CAV 2013: 896-911
Automatic patch generation learned from human-written patches
Dongsun Kim, Jaechang Nam, Jaewoo Song, Sunghun Kim
ICSE 2013: 802-811
Program transformations to fix C integers
Zack Coker, Munawar Hafiz
ICSE 2013: 792-801
SemFix: program repair via semantic analysis
Hoang D. T. Nguyen, Dawei Qi, Abhik Roychoudhury, Satish Chandra
ICSE 2013: 772-781
Efficient Automated Program Repair through Fault-Recorded Testing Prioritization
Yuhua Qi, Xiaoguang Mao, Yan Lei
ICSM 2013: 180-189
R2Fix: Automatically Generating Bug Fixes from Bug Reports
Chen Liu, Jinqiu Yang, Lin Tan, Munawar Hafiz
ICST 2013: 282-291
Using automated program repair for evaluating the effectiveness of fault localization techniques
Yuhua Qi, Xiaoguang Mao, Yan Lei, Chengsong Wang
ISSTA 2013: 191-201
Automatically Repairing Concurrency Bugs with ARC
David Kelk, Kevin Jalbert, Jeremy S. Bradbury
MUSEPAT 2013: 73-84
Fix Me Up: Repairing Access-Control Bugs in Web Applications
Sooel Son, Kathryn S. McKinley, Vitaly Shmatikov
NDSS 2013


Multi-objective coevolutionary automated software correction
Josh L. Wilkerson, Daniel R. Tauritz, James M. Bridges
GECCO 2012: 1229-1236
Repair with On-The-Fly Program Analysis
Robert Könighofer, Roderick Bloem
Haifa Verification Conference 2012: 56-71
A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each
Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, Westley Weimer
ICSE 2012: 3-13
Automated repair of HTML generation errors in PHP applications using string constraint solving
Hesam Samimi, Max Schäfer, Shay Artzi, Todd D. Millstein, Frank Tip, Laurie J. Hendren
ICSE 2012: 277-287
Axis: Automatically fixing atomicity violations through solving control constraints
Peng Liu, Charles Zhang
ICSE 2012: 299-309
GenProg: A Generic Method for Automatic Software Repair
Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, Westley Weimer
IEEE Trans. Software Eng. 38(1): 54-72 (2012)
A human study of patch maintainability
Zachary P. Fry, Bryan Landau, Westley Weimer
ISSTA 2012: 177-187
Modular and verified automatic program repair
Francesco Logozzo, Thomas Ball
OOPSLA 2012: 133-146
Automated Concurrency-Bug Fixing
Guoliang Jin, Wei Zhang, Dongdong Deng
OSDI 2012: 221-236


Code-based automated program fixing
Yu Pei, Yi Wei, Carlo A. Furia, Martín Nordio, Bertrand Meyer
ASE 2011: 392-395
Evolutionary repair of faulty software
Andrea Arcuri
Appl. Soft Comput. 11(4): 3494-3514 (2011)
Automated error localization and correction for imperative programs
Robert Könighofer, Roderick Bloem
FMCAD 2011: 91-100
Automated atomicity-violation fixing
Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit
PLDI 2011: 389-400
A Formal Approach to Fixing Bugs
Sara Kalvala, Richard Warburton
SBMF 2011: 172-187
Specification-Based Program Repair Using SAT
Divya Gopinath, Muhammad Zubair Malik, Sarfraz Khurshid
TACAS 2011: 173-188


Automated program repair through the evolution of assembly code
Eric M. Schulte, Stephanie Forrest, Westley Weimer
ASE 2010: 313-316
Automatic program repair with evolutionary computation
Westley Weimer, Stephanie Forrest, Claire Le Goues, ThanhVu Nguyen
Commun. ACM 53(5): 109-116 (2010)
Automatic Error Correction of Java Programs
Christian Kern, Javier Esparza
FMICS 2010: 67-81
Designing better fitness functions for automated program repair
Ethan Fast, Claire Le Goues, Stephanie Forrest, Westley Weimer
GECCO 2010: 965-972
Recurring bug fixes in object-oriented programs
Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen
ICSE (1) 2010: 315-324
Using Mutation to Automatically Suggest Fixes for Faulty Programs
Vidroha Debroy, W. Eric Wong
ICST 2010: 65-74
Automated fixing of programs with contracts
Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller
ISSTA 2010: 61-72


Generating Fixes from Object Behavior Anomalies
Valentin Dallmeier, Andreas Zeller, Bertrand Meyer
ASE 2009: 550-554
ReAssert: Suggesting Repairs for Broken Unit Tests
Brett Daniel, Vilas Jagannath, Danny Dig, Darko Marinov
ASE 2009: 433-444
A genetic programming approach to automated software repair
Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues
GECCO 2009: 947-954
BugFix: A learning-based tool to assist developers in fixing bugs
Dennis Jeffrey, Min Feng, Neelam Gupta, Rajiv Gupta
ICPC 2009: 70-79
Automatically finding patches using genetic programming
Westley Weimer, ThanhVu Nguyen, Claire Le Goues, Stephanie Forrest
ICSE 2009: 364-374
Automatically patching errors in deployed software
Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou-Douskos, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard
SOSP 2009: 87-102
Program Repair as Sound Optimization of Broken Programs
Bernd Fischer, Ando Saabas, Tarmo Uustalu
TASE 2009: 165-173


Automatic Generation of Local Repairs for Boolean Programs
Roopsha Samanta, Jyotirmoy V. Deshmukh, E. Allen Emerson
FMCAD 2008: 1-10
On the automation of fixing software bugs
Andrea Arcuri
ICSE Companion 2008: 1003-1006
A novel co-evolutionary approach to automatic software bug fixing
Andrea Arcuri, Xin Yao
IEEE Congress on Evolutionary Computation 2008: 162-168


Repair of Boolean Programs with an Application to C
Andreas Griesmayer, Roderick Bloem, Byron Cook
CAV 2006: 358-371
Patches as better bug reports
Westley Weimer
GPCE 2006: 181-190


Program Repair as a Game
Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem
CAV 2005: 226-238
Finding and Fixing Faults
Stefan Staber, Barbara Jobstmann, Roderick Bloem
CHARME 2005: 35-49