@misc{indiciae80f43ddc964d,
  title = {Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning},
  author = {Thanh Le-Cong and Duc-Minh Luong and Xuan Bach D. Le and David Lo and Nhat-Hoa Tran and Bui Quang-Huy and Quyet-Thang Huynh},
  year = {2023},
  doi = {10.1109/tse.2023.3255177},
  url = {https://arxiv.org/abs/2301.01113},
  note = {Source identifier: 2301.01113}
}