Improving source-code representations to enhance search-based software repair
Improving source-code representations to enhance search-based software repair
复制标题
改进源代码表示以增强基于搜索的软件修复
DOI：
10.1145/3512290.3528864
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Forrest, Stephanie
中科院分区：
文献类型：
--
作者：
Reiter, Pemma;Espinoza, Antonio M.;Doupé, Adam;Wang, Ruoyu;Weimer, Westley;Forrest, Stephanie
Please try later.
Automatically improving and repairing software using search-based methods is an active research topic. Many current systems use existing source code as the ingredients of repairs, either through evolutionary computation derived random mutation or other heuristic operators. However, these code transformation operators are not always well-matched to the granularity of the source code on which they operate. This paper proposes a static source-to-source preprocessing step to produce code with more uniform granularity that exposes relevant program components to the repair process. This approach, called Program Repair Enhancement via Preprocessing (PREP), has been applied to three different repair tools, each of which uses different code transformation operators and search algorithms. In every case, applying PREP before the search allows the tool to repair software defects that were previously unattainable by that tool. PREP finds 88 unique previously-unreported correct repairs across these tools. This result is significant because it is applicable to most search-based software improvement methods, and it addresses the fundamental issue of how to match the granularity of the representation to the granularity of operators.
使用解析器解析器组合器进行轻量级多语言语法转换
DOI：
10.1145/3314221.3314589
发表时间：
2019
期刊：
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
van Tonder, Rijnard;Le Goues, Claire
通讯作者：
Le Goues, Claire
老年人护理机构中需要照顾的老年人的“临终场所”研究，研究报告《探索繁荣的老龄化社会》VOL 16。
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
金貞任;鈴木隆雄;高木安雄
通讯作者：
高木安雄
程序空间的中立性和上位性
DOI：
--
发表时间：
2018
期刊：
GI@ICSE
影响因子：
--
作者：
J. Renzullo;Westley Weimer;M. Moses;S. Forrest
通讯作者：
S. Forrest