论文标题
演示文稿：Symdeffix-使用符号执行的声音自动维修
Presentation: SymDefFix -- Sound Automatic Repair Using Symbolic Execution
论文作者
论文摘要
在本演讲中，我们介绍了基于约束的维修方法，称为Symdeffix。 Symdeffix基于ExtractFix [3]，并替换ExtractFix的动态分析步骤以检测错误并在输入程序中找到具有符号执行的输入程序中的潜在固定位置。我们首先简要激励并介绍了提取fix的修改，然后以示例为例。
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.
