A Large-Scale Empirical Review of Patch Correctness Checking Approaches-Reference-Cited by-同舟云学术

A Large-Scale Empirical Review of Patch Correctness Checking Approaches

Published:2023-11-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Yang Jun¹,Wang Yuehan¹,Lou Yiling²,Wen Ming³,Zhang Lingming¹

Affiliation:

1. University of Illinois at Urbana-Champaign, Urbana, USA

2. Fudan University, Shanghai, China

3. Huazhong University of Science and Technology, Wuhan, China

Funder

NSF (National Science Foundation)

National Natural Science Foundation of China

Young Elite Scientists Sponsorship Program by CAST

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3611643.3616331

Reference89 articles.

1. 2023. JD-Core. https://github.com/java-decompiler/jd-core 2023. JD-Core. https://github.com/java-decompiler/jd-core

2. 2023. Patch manual inspection rules. https://github.com/claudeyj/patch_correctness/blob/master/semantic_equivalence_rules.md 2023. Patch manual inspection rules. https://github.com/claudeyj/patch_correctness/blob/master/semantic_equivalence_rules.md

3. 2023. Pitest tool. https://github.com/hcoles/pitest 2023. Pitest tool. https://github.com/hcoles/pitest

4. Loubna Ben Allal , Raymond Li , Denis Kocetkov , Chenghao Mou , Christopher Akiki , Carlos Munoz Ferrandis , Niklas Muennighoff, Mayank Mishra, Alex Gu, and Manan Dey. 2023 . SantaCoder : don’t reach for the stars!. arXiv preprint arXiv:2301.03988. Loubna Ben Allal, Raymond Li, Denis Kocetkov, Chenghao Mou, Christopher Akiki, Carlos Munoz Ferrandis, Niklas Muennighoff, Mayank Mishra, Alex Gu, and Manan Dey. 2023. SantaCoder: don’t reach for the stars!. arXiv preprint arXiv:2301.03988.

5. Moumita Asad , Kishan Kumar Ganguly , and Kazi Sakib . 2019 . Impact Analysis of Syntactic and Semantic Similarities on Patch Prioritization in Automated Program Repair. In ICSME 2019 . 328–332. https://doi.org/10.1109/ICSME.2019.00050 10.1109/ICSME.2019.00050 10.1109/ICSME.2019.00050 Moumita Asad, Kishan Kumar Ganguly, and Kazi Sakib. 2019. Impact Analysis of Syntactic and Semantic Similarities on Patch Prioritization in Automated Program Repair. In ICSME 2019. 328–332. https://doi.org/10.1109/ICSME.2019.00050 10.1109/ICSME.2019.00050

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Benchmarking Automated Program Repair: An Extensive Study on Both Real-World and Artificial Bugs;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

3. The Patch Overfitting Problem in Automated Program Repair: Practical Magnitude and a Baseline for Realistic Benchmarking;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10