"Staged program repair with condition synthesis."

Fan Long, Martin Rinard (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics