30 citations · 54 across the 10 of their papers we have counts for
1 paper · 1 filter
Heinz Riener, Rüdiger Ehlers, Görschwin Fey
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…