Presentation: SymDefFix – Sound Automatic Repair Using Symbolic Execution

09/08/2022
by   Tareq Mohammed Nazir, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset