TY  - RPRT
TI  - Presentation: SymDefFix -- Sound Automatic Repair Using Symbolic Execution
AU  - Tareq Mohammed Nazir
AU  - Martin Pinzger
PY  - 2022
UR  - https://arxiv.org/abs/2209.03815
ID  - 2209.03815
ER  -