Thanh Le-Cong, Duc-Minh Luong, Xuan-Bach Dinh Le, David Lo 0001, Nhat-Hoa Tran, Bui Quang Huy, Quyet Thang Huynh. Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning. IEEE Trans. Software Eng., 49(6):3411-3429, June 2023. [doi]
@article{LeCongLLLTHH23,
title = {Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning},
author = {Thanh Le-Cong and Duc-Minh Luong and Xuan-Bach Dinh Le and David Lo 0001 and Nhat-Hoa Tran and Bui Quang Huy and Quyet Thang Huynh},
year = {2023},
month = {June},
doi = {10.1109/TSE.2023.3255177},
url = {https://doi.org/10.1109/TSE.2023.3255177},
researchr = {https://researchr.org/publication/LeCongLLLTHH23},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {49},
number = {6},
pages = {3411-3429},
}