报告：SymDefFix——基于符号执行的可靠自动修复
软件工程
2022-09-09 v1
摘要
在本次报告中，我们介绍我们基于约束的修复方法，称为 SymDefFix。SymDefFix 基于 ExtractFix [3]，并用符号执行替换了 ExtractFix 的动态分析步骤，以检测错误并在输入程序中找到潜在的修复位置。我们首先简要说明并介绍对 ExtractFix 的修改，然后通过一个示例进行演示。
引用
@article{arxiv.2209.03815,
title = {Presentation: SymDefFix -- Sound Automatic Repair Using Symbolic Execution},
author = {Tareq Mohammed Nazir and Martin Pinzger},
journal= {arXiv preprint arXiv:2209.03815},
year = {2022}
}