找到2个数据集

格式: ZIP 标签: 错误复现

过滤结果

  • OOPSLA_Peer_Review_编译器缺陷检测工具验证数据

    2026年1月28日 30 106 74

    数据集概述 本数据集为OOPSLA同行评审用数据集，包含由检测工具发现的24个编译器缺陷。数据以压缩包形式存储，每个缺陷对应独立子文件夹，内含缺陷触发程序的原始与精简版本，以及编译器输出的错误信息，可用于编译器缺陷检测工具的验证与分析。 文件详解 压缩包文件 文件名称：CrossLangFuzzerData.zip 文件格式：ZIP...
    packageimg

  • Java并发错误基准测试套件

    2025年12月8日 30 172 121

    数据集概述 该数据集为JaConTeBe基准测试套件，包含来自8个开源项目的47个真实Java并发错误，附测试用例以复现错误行为，可用于评估并发错误检测方法的有效性。 文件详解 文件名称：JaConTeBe.pdf 文件格式：PDF...
    packageimg