Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning

1 code implementation • 3 Jan 2023 • Thanh Le-Cong, Duc-Minh Luong, Xuan Bach D. Le, David Lo, Nhat-Hoa Tran, Bui Quang-Huy, Quyet-Thang Huynh

In case our approach fails to determine an overfitting patch based on invariants, INVALIDATOR utilizes a trained model from labeled patches to assess patch correctness based on program syntax.

Language Modelling Program Repair

Usability and Aesthetics: Better Together for Automated Repair of Web Pages

no code implementations • 1 Jan 2022 • Thanh Le-Cong, Xuan Bach D. Le, Quyet-Thang Huynh, Phi-Le Nguyen

In this paper, we propose an automated repair approach for web pages based on meta-heuristic algorithms that can assure both usability and aesthetics.