[TSE’23] Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning.
Published in Transactions on Software Engineering, Journal, 2023
Authors: Thanh Le-Cong, Duc-Minh Luong, Xuan-Bach D. Le, David Lo, Nhat-Hoa Tran, Quang-Huy Bui, Quyet-Thang Huynh
Download Paper | Download Slides | Download Bibtex