Published in
Institute of Electrical and Electronics Engineers, IEEE Transactions on Software Engineering, p. 1-20, 2023
Links
Tools
Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning
Journal article published in 2023 by
Thanh Le-Cong 
,
Duc-Minh Luong,
Xuan Bach D. Le ,
David Lo ,
Nhat-Hoa Tran,
Bui Quang-Huy,
Quyet-Thang Huynh
,
Duc-Minh Luong,
Xuan Bach D. Le ,
David Lo ,
Nhat-Hoa Tran,
Bui Quang-Huy,
Quyet-Thang Huynh
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 