Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning

Thanh Le-Cong, Duc-Minh Luong, Xuan-Bach Dinh Le, David Lo 0001, Nhat-Hoa Tran, Bui Quang Huy, Quyet Thang Huynh. Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning. IEEE Trans. Software Eng., 49(6):3411-3429, June 2023. [doi]

Abstract

Abstract is missing.