Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning

doi:doi:10.57702/tc2z4wrw

Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning

Automated program repair (APR) has been gaining ground recently. However, a signiﬁcant challenge that still remains is patch overﬁtting, in which APR-generated patches plausibly pass the validation test suite but fail to generalize.

BibTex:

@dataset{Thanh_Le-Cong_and_Duc-Minh_Luong_and_Xuan_Bach_D_Le_and_David_Lo_and_Nhat-Hoa_Tran_and_Bui_Quang-Huy_and_Quyet-Thang_Huynh_2024,
    abstract = {Automated program repair (APR) has been gaining ground recently. However, a signiﬁcant challenge that still remains is patch overﬁtting, in which APR-generated patches plausibly pass the validation test suite but fail to generalize.},
    author = {Thanh Le-Cong and Duc-Minh Luong and Xuan Bach D. Le and David Lo and Nhat-Hoa Tran and Bui Quang-Huy and Quyet-Thang Huynh},
    doi = {10.57702/tc2z4wrw},
    institution = {No Organization},
    keyword = {'code representations', 'patch correctness', 'program invariants', 'semantic reasoning', 'syntactic reasoning'},
    month = {dec},
    publisher = {TIB},
    title = {Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning},
    url = {https://service.tib.eu/ldmservice/dataset/invalidator--automated-patch-correctness-assessment-via-semantic-and-syntactic-reasoning},
    year = {2024}
}