ESBMC-AI dataset
收藏DataCite Commons2024-12-16 更新2025-04-16 收录
下载链接：
https://service.tib.eu/ldmservice/dataset/abfee3fc-fa11-4d5f-8c74-f2ece32c49f2
下载链接
链接失效反馈官方服务：
资源简介：
A dataset of 1000 C code samples, each consisting of 20 to 50 lines of code, used to evaluate the proposed method for automatic program repair.
提供机构：
TIB
创建时间：
2024-12-16
