-
基于面向对象程序的规范错误推断研究支持数据_OOPSLA24
2026年1月29日 30 137 93
数据集概述 本数据集是OOPSLA24会议投稿论文《Inferring Incorrectness Specifications for OO Programs》的支持数据，包含论文中呈现的源代码和基准测试内容，以压缩包形式提供，总计一个文件，无目录层级结构。 文件详解 文件名称：infer_oop.zip 文件格式：ZIP...
2026年1月29日 30 137 93
