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 patch overfitting, in which APR-generated patches plausibly pass the validation test suite but fail to generalize.

Data and Resources

Cite this as

Thanh Le-Cong, Duc-Minh Luong, Xuan Bach D. Le, David Lo, Nhat-Hoa Tran, Bui Quang-Huy, Quyet-Thang Huynh (2024). Dataset: Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning. https://doi.org/10.57702/tc2z4wrw

DOI retrieved: December 2, 2024

Additional Info

Field Value
Created December 2, 2024
Last update December 2, 2024
Author Thanh Le-Cong
More Authors
Duc-Minh Luong
Xuan Bach D. Le
David Lo
Nhat-Hoa Tran
Bui Quang-Huy
Quyet-Thang Huynh
Homepage https://doi.org/10.5281/zenodo.7699142