An analysis of patch plausibility and correctness for generate-and-validate patch generation systems-Reference-Cited by-同舟云学术

An analysis of patch plausibility and correctness for generate-and-validate patch generation systems

Published:2015-07-13 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2015 International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Qi Zichao¹,Long Fan¹,Achour Sara¹,Rinard Martin¹

Affiliation:

1. Massachusetts Institute of Technology, USA

Funder

Defense Advanced Research Projects Agency

Publisher

ACM

Link

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

Reference51 articles.

1. AE results. http://dijkstra.cs.virginia.edu/ genprog/resources/genprog-ase2013-results.zip. AE results. http://dijkstra.cs.virginia.edu/ genprog/resources/genprog-ase2013-results.zip.

2. CVE-2006-2025. http://cve.mitre.org/cgi-bin/ cvename.cgi?name=CVE-2006-2025. CVE-2006-2025. http://cve.mitre.org/cgi-bin/ cvename.cgi?name=CVE-2006-2025.

3. GenProg benchmarks. http://dijkstra.cs.virginia.edu/genprog/ resources/genprog-icse2012-benchmarks/. GenProg benchmarks. http://dijkstra.cs.virginia.edu/genprog/ resources/genprog-icse2012-benchmarks/.

4. GenProg results. http://dijkstra.cs.virginia.edu/ genprog/resources/genprog-icse2012-results.zip. GenProg results. http://dijkstra.cs.virginia.edu/ genprog/resources/genprog-icse2012-results.zip.

5. GenProg source code. http://dijkstra.cs.virginia.edu/genprog/ resources/genprog-source-v3.0.zip. GenProg source code. http://dijkstra.cs.virginia.edu/genprog/ resources/genprog-source-v3.0.zip.

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

1. T5APR: Empowering automated program repair across languages through checkpoint ensemble;Journal of Systems and Software;2024-08

2. Test-based patch clustering for automatically-generated patches assessment;Empirical Software Engineering;2024-07-24

3. Keep It Simple: Testing Databases via Differential Query Plans;Proceedings of the ACM on Management of Data;2024-05-29

4. Evolutionary Testing for Program Repair;2024 IEEE Conference on Software Testing, Verification and Validation (ICST);2024-05-27

5. Improving Patch Correctness Analysis via Random Testing and Large Language Models;2024 IEEE Conference on Software Testing, Verification and Validation (ICST);2024-05-27