FFL: fine grained fault localization for student programs via syntactic and semantic reasoning

by NGUYEN, Thanh Dat, LE, Cong Thanh, LUONG, Duc-Minh, DUONG, Van-Hai, LE, Xuan Bach, LO, David, HUYNH, Quyet-Thang
Published 2022

Invalidator: Automated patch correctness assessment via semantic and syntactic reasoning

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