@InProceedings{10.1007/978-3-319-48989-6_36,
author="Rothenberg, Bat-Chen
and Grumberg, Orna",
editor="Fitzgerald, John
and Heitmeyer, Constance
and Gnesi, Stefania
and Philippou, Anna",
title="Sound and Complete Mutation-Based Program Repair",
booktitle="FM 2016: Formal Methods",
year="2016",
publisher="Springer International Publishing",
address="Cham",
pages="593--611",
abstract="This work presents a novel approach for automatically repairing an erroneous program with respect to a given set of assertions. Programs are repaired using a predefined set of mutations. We refer to a bounded notion of correctness, even though, for a large enough bound all returned programs are fully correct. To ensure no changes are made to the original program unless necessary, if a program can be repaired by applying a set of mutations Mut, then no superset of Mut is later considered. Programs are checked in increasing number of mutations, and every minimal repaired program is returned as soon as found.",
isbn="978-3-319-48989-6"
}