12 citations · 34 across the 14 of their papers we have counts for
1 paper · 1 filter
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…