Path-Based Program Repair
Published in Electronic Proceedings in Theoretical Computer Science • Mar 15, 2015
Authors:,,
Heinz Riener
Rüdiger Ehlers
Görschwin Fey
Abstract
We propose a path-based approach to program repair for imperative programs. Our repair framework takes as input a faulty program, a logic specification that is refuted, and a hint where the fault may be located. An iterative abstraction refinement loop is then used to repair the program: in each ite...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!