collaborators

1 paper

cs.SE2022

Presentation: SymDefFix -- Sound Automatic Repair Using Symbolic Execution

Tareq Mohammed Nazir, Martin Pinzger

In this presentation, we introduce our constraint-based repair approach, called SymDefFix. SymDefFix is based on ExtractFix [3] and replaces the dynamic analysis steps of ExtractFi…