Invalidator: Automated patch correctness assessment via semantic and syntactic reasoning

• 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
• Institution: Singapore Management University

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...