Artifact of the paper: On the Effectiveness of Automated Program Repair: An Extensive Study

Name: Artifact of the paper: On the Effectiveness of Automated Program Repair: An Extensive Study
Creator: Anonymous
Published: 2023-04-11T00:00:00+08:00

Zenodo2023-04-11 更新2026-04-07 收录

自动程序修复

软件缺陷修复

数据链接：

https://zenodo.org/record/7819696 数据链接链接失效反馈

官方服务：

资源简介：

The pre-trained Tufano model.

提供机构：

Anonymous

创建时间：

2023-04-11

Defects4C

软件缺陷修复

机器学习应用

Defects4C是一个为C/C++程序修复而设计的全面且可执行的基准数据集。该数据集从真实的C/C++仓库构建，包含大量的与错误相关的提交（总计9M），248个高质量的错误函数和102个易受攻击的函数，所有这些都配有测试用例以便重现。这些资源使得对修复技术的严格评估成为可能，并支持对基于学习的方法的再训练以提升性能。

arXiv2025-10-13 更新1020

R2E-Gym/SWE-Bench-Lite

软件缺陷修复

自动化测试

该数据集包含多个字符串类型的特征字段，如代码仓库信息（repo）、实例ID（instance_id）、基础提交哈希（base_commit）等。数据集分为测试集（test split），包含300个数据样本，总大小约为117MB。具体的数据集用途和背景在README中没有描述。

Hugging Face2025-03-23 更新110

Harryxun/stf_run

软件缺陷修复

代码纠错

--- license: mit dataset_info: features: - name: buggy dtype: string - name: fixed dtype: string - name: text dtype: string splits: - name: train num_bytes: 425

Hugging Face2025-11-22 更新60

SWE-bench_Lite

软件缺陷修复

代码分析

该数据集包含了代码库信息、实例ID、基础提交记录、补丁、测试补丁、问题描述、提示文本、创建时间、版本号以及两种转换状态（失败转成功和成功转成功）。此外，还包含了环境设置提交记录、编辑的函数序列和新增的函数序列。数据集分为测试集，共有274个示例。

Hugging Face2025-03-20 更新700

ST-Bench: Spatio Temporal Benchmark Datasets for Adversarial Robustness Verification

对象跟踪

自动驾驶决策

Benchmark for evaluating robustness of Spatio-temporal systems. Contains object tracking and bounding box information for the UCF-101 dataset and Udacity Steering Angle Prediction UCF-101 trackin

Zenodo2026-03-24 更新80

Artifact of the paper: On the Effectiveness of Automated Program Repair: An Extensive Study

资源简介：

相关数据集