Formalise2023
收藏DataCite Commons2023-02-03 更新2024-08-18 收录
下载链接：
https://figshare.com/articles/dataset/Formalise2023/22002524
下载链接
链接失效反馈官方服务：
资源简介：
we introduce the data that we generated for our experiment, and explain how readers can duplicate our experiment using the data. Test suites, test suite effectiveness, semantic coverage, detector sets, absolute correctness, relative correctness, partial correctness, and total correctness.
提供机构：
figshare
创建时间：
2023-02-03
