A Type-Directed Approach to Program Repair.

Alex Reinking, Ruzica Piskac

Browse the full CAV paper archive.