Sign in

Presentation: SymDefFix - Sound Automatic Repair Using Symbolic Execution.

Tareq Mohammed NazirMartin Pinzger
Published in: CoRR (2022)
Keyphrases
  • symbolic execution
  • test generation
  • static analysis
  • test data generation
  • source code
  • neural network
  • open source
  • test cases