TY  - RPRT
TI  - Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning
AU  - Thanh Le-Cong
AU  - Duc-Minh Luong
AU  - Xuan Bach D. Le
AU  - David Lo
AU  - Nhat-Hoa Tran
AU  - Bui Quang-Huy
AU  - Quyet-Thang Huynh
PY  - 2023
DO  - 10.1109/tse.2023.3255177
UR  - https://arxiv.org/abs/2301.01113
ID  - 2301.01113
ER  -