- author = "Joseph Renzullo and Westley Weimer and Stephanie Forrest",
- title = "Evolving Software: Combining Online Learning with Mutation-Based Stochastic Search",
- journal = "ACM Transactions on Evolutionary Learning and Optimization",
- year = "2023",
- volume = "3",
- number = "4",
- articleno = "13",
- month = dec,
- keywords = "genetic algorithms, genetic programming, genetic improvement, APR, MWRepair, Defects4J, SBSE, Software Mutational Robustness, Neutral Mutations, Multiplicative Weights Update, Automated Program Repair",
- publisher = "Association for Computing Machinery",
- address = "New York, NY, USA",
- ISSN = "2688-299X",
-
DOI = "
doi:10.1145/3597617",
- size = "32",
- abstract = "Evolutionary algorithms and related mutation-based methods have been used in software engineering, with recent emphasis on the problem of repairing bugs. programs are typically not synthesized from a random start. Instead, existing solutions—which may be flawed or inefficient are taken as starting points, with the evolutionary process searching for useful improvements. This approach, however, introduces a challenge for the search algorithm: what is the optimal number of neutral mutations that should be combined? Too much is likely to introduce errors and break the program while too little hampers the search process, inducing the classic tradeoff between exploration and exploitation. In the context of software improvement, we consider MWRepair, an algorithm for enhancing mutation-based searches, which uses online learning to optimise the tradeoff between exploration and exploitation. The aggressiveness parameter governs how many individual mutations should be applied simultaneously to an individual between fitness evaluations. MWRepair is evaluated in the context of Automated Program Repair (APR) problems, where the goal is repairing software bugs with minimal human involvement. This paper analyzes the search space for APR induced by neutral mutations, finding that the greatest probability of finding successful repairs often occurs when many neutral mutations are applied to the original program. Moreover, repair probability follows a characteristic, unimodal distribution. MWRepair uses online learning to leverage this property, finding both rare and multi-edit repairs to defects in the popular Defects4J benchmark set of buggy Java programs.",
-
notes = "p25 'precomputed and amortized' 'multiple [2 and 3]
edits'
ManyBugs Table 6: MWRepair, GenProg, TrpAuto, Kali, SPR, Prophet, Angelix, F1X, SOSRepair, Novelty. gzip-2009-08-16, gzip-2009-09-26, libtif-2005-12-14, libtif-2005-12-21, libtif-2006-02-27, libtif-2007-11-02, libtif-2007-11-23, libtif-2009-08-28, libtif-2010-12-13 lighttpd-1806-1807 python-69223-69224, python-70098-7010
https://dlnext.acm.org/journal/telo
Arizona State University, USA",
