TY  - RPRT
TI  - Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation
AU  - ThanhVu Nguyen
AU  - Westley Weimer
AU  - Deepak Kapur
AU  - Stephanie Forrest
PY  - 2019
UR  - https://arxiv.org/abs/1903.11765
ID  - 1903.11765
ER  -