Presentation: SymDefFix - Sound Automatic Repair Using Symbolic Execution.

Tareq Mohammed Nazir Martin Pinzger

Published in: CoRR (2022)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
source code
neural network
open source
test cases