Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning
Data and Resources
-
Original MetadataJSON
The json representation of the dataset with its distributions based on DCAT.
Cite this as
Thanh Le-Cong, Duc-Minh Luong, Xuan Bach D. Le, David Lo, Nhat-Hoa Tran, Bui Quang-Huy, Quyet-Thang Huynh (2024). Dataset: Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning. https://doi.org/10.57702/tc2z4wrw
DOI retrieved: December 2, 2024
Additional Info
Field | Value |
---|---|
Created | December 2, 2024 |
Last update | December 2, 2024 |
Author | Thanh Le-Cong |
More Authors |
|
Homepage | https://doi.org/10.5281/zenodo.7699142 |