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

数据集概述

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

文件详解

• 文件名称：infer_oop.zip
• 文件格式：ZIP
• 字段映射介绍：压缩包内包含论文相关的源代码和基准测试文件，具体内容未提供预览，需解压后查看。

数据来源

OOPSLA24会议投稿论文《Inferring Incorrectness Specifications for OO Programs》

适用场景

• 面向对象程序错误规范研究: 用于分析和验证OO程序错误规范的推断方法与效果。
• 程序分析基准测试: 为OO程序错误规范相关的程序分析技术提供实验基准。
• 学术论文成果复现: 支持对原论文研究方法和实验结果的复现与验证。
• 软件工程教学案例: 可作为面向对象程序设计或程序分析课程的教学辅助案例。