- author = "Ben Mehne and Hiroaki Yoshida and Mukul R. Prasad and Koushik Sen and Divya Gopinath and Sarfraz Khurshid",
- title = "Accelerating Search-Based Program Repair",
- booktitle = "2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST)",
- year = "2018",
- pages = "227--238",
- address = "Sweeden",
- month = "9-13 " # apr,
- keywords = "genetic algorithms, genetic programming, Genetic Improvement, APR, SBSE, RTS",
- isbn13 = "978-1-5386-5013-4",
-
URL = "
https://people.eecs.berkeley.edu/~ksen/papers/repair.pdf",
-
DOI = "
doi:10.1109/ICST.2018.00031",
- size = "12 pages",
- abstract = "Automatic program repair techniques offer the possibility of reducing, or even eliminating, the substantial manual effort that currently goes into the patching of software defects. However, current repair techniques take minutes or hours, to generate rather simple repairs, severely limiting their practical applicability. Search-based program repair represents a popular class of automatic repair techniques. Patch compilation and test case execution are the dominant contributors to runtime in this class of repair techniques. In this work we propose two complementary techniques, namely Location Selection and Test-Case Pruning, to improve the efficiency of search-based repair techniques. Location Selection reduces the number of repair candidates examined in arriving at a repair, thereby reducing the number of patch compilations as well as the overall number of test case evaluations during the repair process. Test-Case Pruning, on the other hand, optimizes the number of test cases executed per examined candidate. We implement the proposed techniques in the context of SPR, a state-of-the-art search-based repair tool, evaluate them on the GenProg benchmarks and observe that the proposed techniques provide a 3.9 fold speed-up, on average, without any degradation in repair quality.",
-
notes = "Based on GenProg.
University of California, Berkeley Also known as \cite{8367051},",
