Automated program repair through the evolution of assembly code

Eric Schulte; Stephanie Forrest; Westley Weimer

doi:10.1145/1858996.1859059

Automated program repair through the evolution of assembly code

Eric Schulte, Stephanie Forrest, Westley Weimer

BI: Biocomputing, Security and Society, Center for (BSS)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

36 Scopus citations

Abstract

A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x86 assembly programs, showing how to find program variations that correct defects while retaining desired behavior. Test cases are used to demonstrate the defect and define required functionality. The paper explores advantages of assembly-level repair over earlier work at the source code level-the ability to repair programs written in many different languages; and the ability to repair bugs that were previously intractable. The paper reports experimental results showing reasonable performance of assembly language repair even on non-trivial programs.

Original language	English (US)
Title of host publication	ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering
Pages	313-316
Number of pages	4
DOIs	https://doi.org/10.1145/1858996.1859059
State	Published - Dec 10 2010
Event	25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10 - Antwerp, Belgium Duration: Sep 20 2010 → Sep 24 2010

Publication series

Name	ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering

Other

Other	25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10
Country	Belgium
City	Antwerp
Period	9/20/10 → 9/24/10

Fingerprint

Keywords

Assembly code
Bytecode
Evolutionary computation
Fault localization
Legacy software
Program repair

ASJC Scopus subject areas

Computational Theory and Mathematics
Human-Computer Interaction
Software

Cite this

Schulte, E., Forrest, S., & Weimer, W. (2010). Automated program repair through the evolution of assembly code. In ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (pp. 313-316). (ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering). https://doi.org/10.1145/1858996.1859059

Automated program repair through the evolution of assembly code. / Schulte, Eric; Forrest, Stephanie; Weimer, Westley.

ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering. 2010. p. 313-316 (ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Schulte, E, Forrest, S & Weimer, W 2010, Automated program repair through the evolution of assembly code. in ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering. ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, pp. 313-316, 25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10, Antwerp, Belgium, 9/20/10. https://doi.org/10.1145/1858996.1859059

@inproceedings{33eb66a8d8ab44fa81511d2122075e53,

title = "Automated program repair through the evolution of assembly code",

abstract = "A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x86 assembly programs, showing how to find program variations that correct defects while retaining desired behavior. Test cases are used to demonstrate the defect and define required functionality. The paper explores advantages of assembly-level repair over earlier work at the source code level-the ability to repair programs written in many different languages; and the ability to repair bugs that were previously intractable. The paper reports experimental results showing reasonable performance of assembly language repair even on non-trivial programs.",

keywords = "Assembly code, Bytecode, Evolutionary computation, Fault localization, Legacy software, Program repair",

author = "Eric Schulte and Stephanie Forrest and Westley Weimer",

year = "2010",

month = dec

day = "10",

doi = "10.1145/1858996.1859059",

language = "English (US)",

isbn = "9781450301169",

series = "ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering",

pages = "313--316",

booktitle = "ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering",

note = "25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10 ; Conference date: 20-09-2010 Through 24-09-2010",

}

TY - GEN

T1 - Automated program repair through the evolution of assembly code

AU - Schulte, Eric

AU - Forrest, Stephanie

AU - Weimer, Westley

PY - 2010/12/10

Y1 - 2010/12/10

N2 - A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x86 assembly programs, showing how to find program variations that correct defects while retaining desired behavior. Test cases are used to demonstrate the defect and define required functionality. The paper explores advantages of assembly-level repair over earlier work at the source code level-the ability to repair programs written in many different languages; and the ability to repair bugs that were previously intractable. The paper reports experimental results showing reasonable performance of assembly language repair even on non-trivial programs.

AB - A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x86 assembly programs, showing how to find program variations that correct defects while retaining desired behavior. Test cases are used to demonstrate the defect and define required functionality. The paper explores advantages of assembly-level repair over earlier work at the source code level-the ability to repair programs written in many different languages; and the ability to repair bugs that were previously intractable. The paper reports experimental results showing reasonable performance of assembly language repair even on non-trivial programs.

KW - Assembly code

KW - Bytecode

KW - Evolutionary computation

KW - Fault localization

KW - Legacy software

KW - Program repair

UR - http://www.scopus.com/inward/record.url?scp=78649773761&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78649773761&partnerID=8YFLogxK

U2 - 10.1145/1858996.1859059

DO - 10.1145/1858996.1859059

M3 - Conference contribution

AN - SCOPUS:78649773761

SN - 9781450301169

T3 - ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering

SP - 313

EP - 316

BT - ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering

T2 - 25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10

Y2 - 20 September 2010 through 24 September 2010

ER -

Access to Document

10.1145/1858996.1859059