Login / Signup
Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation.
ThanhVu Nguyen
Westley Weimer
Deepak Kapur
Stephanie Forrest
Published in:
TACAS (1) (2017)
Keyphrases
</>
program synthesis
recursive programs
expert systems
state space
inductive logic programming
prior knowledge
test cases
semi automatic