Login / Signup
Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation.
ThanhVu Nguyen
Westley Weimer
Deepak Kapur
Stephanie Forrest
Published in:
CoRR (2019)
Keyphrases
</>
program synthesis
recursive programs
input data
semi automatic
inductive logic programming
transitive closure
database
training data
reinforcement learning
programming language
test cases