Automated program repair using genetic programming and model checking
Created by W.Langdon from
gp-bibliography.bib Revision:1.8081
- @Article{Zojaji:2016:AI,
-
author = "Zahra Zojaji and Behrouz Tork Ladani and
Alireza Khalilian",
-
title = "Automated program repair using genetic programming and
model checking",
-
journal = "Applied Intelligence",
-
year = "2016",
-
volume = "45",
-
number = "4",
-
pages = "1066--1088",
-
month = dec,
-
keywords = "genetic algorithms, genetic programming, genetic
improvement, APR, Automated software repair, Automatic
bug fixing, Model checking",
-
ISSN = "1573-7497",
-
DOI = "doi:10.1007/s10489-016-0804-0",
-
URL = "http://dx.doi.org/10.1007/s10489-016-0804-0",
-
size = "23 pages",
-
abstract = "Automated program repair is still a highly challenging
problem mainly due to the reliance of the current
techniques on test cases to validate candidate patches.
This leads to the increasing unreliability of the final
patches since test cases are partial specifications of
the software. In the present paper, an automated
program repair method is proposed by integrating
genetic programming (GP) and model checking (MC). Due
to its capabilities to verify the finite state systems,
MC is employed as an appropriate criterion for evolving
programs to calculate the fitness in GP. The
application of MC for the fitness evaluation, which is
novel in the context of program repair, addresses an
important gap in the current heuristic approaches to
the program repair. Being focused on fault detection
based on the desired aspects, it enables the
programmers to detect faults according to the
definition of properties. Creating a general method,
this characteristic can be effectively customized for
different domains of application and the corresponding
faults. Apart from various types of faults, the
proposed method is capable of handling concurrency bugs
which are not the case in many general repair methods.
To evaluate the proposed method, it was implemented as
a tool, named JBF, to repair Java programs. To meet the
objectives of the study, some experiments were
conducted in which certain programs with known bugs
were automatically repaired by the JBF tool. The
obtained results are encouraging and remarkably
promising.",
- }
Genetic Programming entries for
Zahra Zojaji
Behrouz Tork Ladani
Alireza Khalilian
Citations