Invalidator: Automated patch correctness assessment via semantic and syntactic reasoning

Invalidator: Automated patch correctness assessment via semantic and syntactic reasoning

Automated program repair (APR) has been gaining ground recently. However, a significant challenge that still remains is test overfitting, in which APR-generated patches plausibly pass the validation test suite but fail to generalize. A common practice to assess the correctness of APR-generated patch...

Full description

Saved in:
Bibliographic Details
Main Authors: LE-CONG, Tranh, LUONG, Duc Minh, LE, Xuan Bach D., LO, David, TRAN, Nhat-Hoa, QUANG-HUY, Bui, HUYNH, Quyet-Thang
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2023
Subjects:
Automated Patch Correctness Assessment
Automated Program Repair
Code Representations
Overfitting problem
Program Invariants
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/7800
https://ink.library.smu.edu.sg/context/sis_research/article/8803/viewcontent/Invalidator_av.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/7800
https://ink.library.smu.edu.sg/context/sis_research/article/8803/viewcontent/Invalidator_av.pdf

Similar Items