Invalidator: Automated patch correctness assessment via semantic and syntactic reasoning

由 LE-CONG, Tranh, LUONG, Duc Minh, LE, Xuan Bach D., LO, David, TRAN, Nhat-Hoa, QUANG-HUY, Bui, HUYNH, Quyet-Thang
出版 2023