[软件自动修复领域] 前沿论文阅读（2019年8月8日）

标题：[软件自动修复领域] 前沿论文阅读（2019年8月8日）

前言

每天gmail邮箱都会推送很多论文，此外加上research gate上不断更新的论文，真的让我有点目不暇接。为了跟上学术前沿，我认为很有必要每天一读，即每天整理一下最新的论文，保持一个 论文更新的速度 与 阅读论文的速度 的平衡。

以下为今日份软件自动修复领域前沿文章。

论文列表

Spectrum-Based Bug Localization of Real-World Java Bugs

来源：gmail推送

引用：
@inproceedings{oo_spectrum-based_2019,
title = {Spectrum-{Based} {Bug} {Localization} of {Real}-{World} {Java} {Bugs}},
booktitle = {International {Conference} on {Software} {Engineering} {Research}, {Management} and {Applications}},
publisher = {Springer},
author = {Oo, Cherry and Oo, Hnin Min},
year = {2019},
pages = {75–89},
file = {Snapshot:D:\software\zotero\pdf-download-path\storage\QKRNGQ94\978-3-030-24344-9_5.html:text/html}
}

1）简介：
在Java下做一个SFL的定位实验
2）实验：
We used the real-world Apache Commons Math and Apache Commons Lang Java projects to examine the accuracy using spectrum-based bug localization metric.
3）结论：
Our findings show that the higher performance of the specific similarity coefficients used to examine the spectra information is more effective in locating individual bugs.

Robustness of spectrum-based fault localisation in environments with labelling perturbations

来源：Spectrum-Based Bug Localization of Real-World Java Bugs的reference

引用：
@article{xu_robustness_2019,
title = {Robustness of spectrum-based fault localisation in environments with labelling perturbations},
volume = {147},
journal = {Journal of Systems and Software},
author = {Xu, Yanhong and Yin, Beibei and Zheng, Zheng and Zhang, Xiaoyi and Li, Chenglong and Yang, Shunkun},
year = {2019},
pages = {172–214},
file = {Snapshot:D:\software\zotero\pdf-download-path\storage\PKE5AVBL\S0164121218302164.html:text/html}
}

好词好句：
Most fault localisation techniques take as inputs a faulty program and a test suite, and produce as output a ranked list of suspicious code locations at which the program may be defective.

原文：
https://www.sciencedirect.com/science/article/pii/S0164121218302164

Contributions：

讲真这里我不是很懂。
特别是这个labelling perturbations。

先余着。

Automated Program Repair

这是高手的文章。
文章让人耳目一新。

来源：自己临时想起来有这么一篇文章还没读。

引用：
@article{le_goues_automated_2019,
title = {Automated {Program} {Repair}},
journal = {Commun. ACM},
author = {Le Goues, Claire and Pradel, Michael and Roychoudhury, Abhik},
year = {2019},
file = {Full Text:D:\software\zotero\pdf-download-path\storage\Q4ZYRV4H\Le Goues 等。 - 2019 - Automated Program Repair.pdf:application/pdf}
}

词句：

• Automated program repair can greatly relieve programmers from the burden of manually fixing the ever increasing number of pro- gramming mistakes. At the same time, achieving such a goal in- volves solving technical challenges in scalability, patch quality, and integration into developer workflows.

真的妙。

工作：
This article presents an overview of the state-of-the-art tools and techniques in automated program repair. We also take a forward looking view of the area by presenting emerging and potential use cases for program repair, such as online programming education and patching of security vulnerabilities.
即：对当前APR的概述及讨论，展望。

这篇文章实在写的太好了，，，
值得反复读。

Repairnator patches programs automatically

来源：想到的

引用：

@article{monperrus_repairnator_2019,
title = {Repairnator patches programs automatically},
volume = {2019},
number = {July},
journal = {Ubiquity},
author = {Monperrus, Martin and Urli, Simon and Durieux, Thomas and Martinez, Matias and Baudry, Benoit and Seinturier, Lionel},
year = {2019},
pages = {2},
file = {Snapshot:D:\software\zotero\pdf-download-path\storage\U9Z4BXWE\citation.html:text/html}
}

内容：
Repairnator is a bot. It constantly monitors software bugs discovered during continuous integration of open-source software and tries to fix them automatically. If it succeeds in synthesizing a valid patch, Repairnator proposes the patch to the human developers, disguised under a fake human identity. To date, Repairnator has been able to produce patches that were accepted by the human developers and permanently merged into the code base. This is a milestone for human-competitiveness in software engineering research on automatic program repair.

注意这个：milestone，很厉害。
作者在CI这方面确实走的很前。

感受下强者的写法。。。很顺。流畅自如
学习学习。

核心修复算法：
Nopol。

亮点：
自动化复现缺陷，合成补丁，提交PR。

Sapfix: Automated end-to-end repair at scale

来源：自己想到的
引用：

@inproceedings{marginean_sapfix:_2019,
title = {Sapfix: {Automated} end-to-end repair at scale},
shorttitle = {Sapfix},
booktitle = {Proceedings of the 41st {International} {Conference} on {Software} {Engineering}: {Software} {Engineering} in {Practice}},
publisher = {IEEE Press},
author = {Marginean, Alexandru and Bader, Johannes and Chandra, Satish and Harman, Mark and Jia, Yue and Mao, Ke and Mols, Alexander and Scott, Andrew},
year = {2019},
pages = {269–278},
file = {Snapshot:D:\software\zotero\pdf-download-path\storage\HACIGN2M\citation.html:text/html}
}

简介：
We report our experience with SAPFIX: the first deployment of automated end-to-end fault fixing, from test case design through to deployed repairs in production code1. We have used SAPFIX at Facebook to repair 6 production systems, each consisting of tens of millions of lines of code, and which are collectively used by hundreds of millions of people worldwide.

工业化应用。

小结

看累了，看了一个小时，今天到此为止= =。