Login / Signup

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

ThanhVu NguyenWestley WeimerDeepak KapurStephanie Forrest
Published in: TACAS (1) (2017)
Keyphrases
  • program synthesis
  • recursive programs
  • expert systems
  • state space
  • inductive logic programming
  • prior knowledge
  • test cases
  • semi automatic