Cost-Aware Automatic Program Repair

Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson

We present a formal framework for repairing infinite-state, imperative, sequential programs, with (possibly recursive) procedures and multiple assertions; the framework can generat…