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