  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 ExtractFix to detect the error and find the potential fix
locations in an input program with symbolic execution. We first briefly
motivate and introduce our modifications of ExtractFix, and then demonstrate it
with an example.
