SemFix: program repair via semantic analysis

Authors:
Hoang Duong Thien Nguyen;Dawei Qi;Abhik Roychoudhury;Satish Chandra
Affiliations:
National University of Singapore, Singapore;National University of Singapore, Singapore;National University of Singapore, Singapore;IBM Research, USA
Venue:
Proceedings of the 2013 International Conference on Software Engineering
Year:
2013

Citing 25
Cited 2

Visualization of test information to assist fault localization

Proceedings of the 24th International Conference on Software Engineering
Bug isolation via remote program sampling

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Automatic detection and repair of errors in data structures

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Programming by sketching for bit-streaming programs

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact

Empirical Software Engineering
Inference and enforcement of data structure consistency specifications

Proceedings of the 2006 international symposium on Software testing and analysis
Combinatorial sketching for finite programs

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
An Evaluation of Similarity Coefficients for Software Fault Localization

PRDC '06 Proceedings of the 12th Pacific Rim International Symposium on Dependable Computing
Automatically finding patches using genetic programming

ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Automatically patching errors in deployed software

Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
Generating Fixes from Object Behavior Anomalies

ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
JPF-SE: a symbolic execution extension to Java PathFinder

TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Z3: an efficient SMT solver

TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Oracle-guided component-based program synthesis

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Using Mutation to Automatically Suggest Fixes for Faulty Programs

ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
Automated fixing of programs with contracts

Proceedings of the 19th international symposium on Software testing and analysis
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs

OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Angelic debugging

Proceedings of the 33rd International Conference on Software Engineering
Specification-based program repair using SAT

TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Synthesis of loop-free programs

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Program repair as a game

CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Automated error localization and correction for imperative programs

Proceedings of the International Conference on Formal Methods in Computer-Aided Design
Code-based automated program fixing

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
A systematic study of automated program repair: fixing 55 out of 105 bugs for $8 each

Proceedings of the 34th International Conference on Software Engineering
Automated repair of HTML generation errors in PHP applications using string constraint solving

Proceedings of the 34th International Conference on Software Engineering

Current challenges in automatic software repair

Software Quality Control
Post-compiler software optimization for reducing energy

Proceedings of the 19th international conference on Architectural support for programming languages and operating systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Debugging consumes significant time and effort in any major software development project. Moreover, even after the root cause of a bug is identified, fixing the bug is non-trivial. Given this situation, automated program repair methods are of value. In this paper, we present an automated repair method based on symbolic execution, constraint solving and program synthesis. In our approach, the requirement on the repaired code to pass a given set of tests is formulated as a constraint. Such a constraint is then solved by iterating over a layered space of repair expressions, layered by the complexity of the repair code. We compare our method with recently proposed genetic programming based repair on SIR programs with seeded bugs, as well as fragments of GNU Coreutils with real bugs. On these subjects, our approach reports a higher success-rate than genetic programming based repair, and produces a repair faster.