找到2个数据集

格式: ZIP 标签: 错误描述

过滤结果

  • Tomcat_BugFixing_Based_错误报告与代码提交关联数据

    2026年1月22日 30 129 26

    数据集概述 本数据集包含Tomcat软件项目的错误定位相关数据，涵盖错误报告与代码提交的关联信息。通过Excel表格和XML文件两种格式存储，提供错误ID、提交记录、摘要、文件变更等基础信息，以及代码变更的详细行信息，支持错误定位技术的研究与验证。 文件详解 Tomcat.xlsx 文件格式：XLSX...
    packageimg

  • SVCOMP_Witness_Visualizer_Tool_见证可视化演示数据集

    2026年1月15日 30 192 105

    数据集概述 本数据集包含三个通过Witness Visualizer工具生成的SVCOMP见证可视化数据集，涵盖工具整体全面性、按属性分类的见证、已知bug案例及全面性与验证率对比等内容，每个数据集包含原始见证文件和HTML格式的可视化文件，可用于程序验证见证的可视化分析与研究。 文件详解 数据集1（dataset_1.zip） 文件格式：ZIP...
    packageimg