Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation.

ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest

Browse the full TACAS paper archive.