遇见数据集

基于面向对象程序的规范错误推断研究支持数据_OOPSLA24

收藏
海数据2026-06-25 收录
官方服务:

资源简介:

本数据集是OOPSLA24会议投稿论文《Inferring Incorrectness Specifications for OO Programs》的支持数据,包含论文中呈现的源代码和基准测试内容,以压缩包形式提供,总计一个文件,无目录层级结构。 OOPSLA24会议投稿论文《Inferring Incorrectness Specifications for OO Programs》

提供机构:
公开数据
创建时间:
2026-01-29
二维码
社区交流群
二维码
科研交流群
商业服务