SBFT Tool Competition 2025 - Java Test Case Generation Track

Name: SBFT Tool Competition 2025 - Java Test Case Generation Track
Creator: Fondazione Bruno Kessler
Published: 2025-01-28T00:00:00+08:00

Zenodo2025-01-28 更新2026-04-07 收录

自动化测试用例生成

Java程序测试

数据链接：

https://zenodo.org/doi/10.5281/zenodo.14755646 数据链接链接失效反馈

官方服务：

资源简介：

Replication package for the 2025 edition of the Java Testing Tool Competition at SBFT.

提供机构：

Fondazione Bruno Kessler

创建时间：

2025-01-28

Fabric-Image-Data (FID)

织物分类

跨模态检索

Fabric-Image-Data (FID) 数据集包含了12,181张羊毛面料图像，分为四种类型：格子、图案、纯色和条纹。该数据集旨在用于织物图像的分类，但本文将其用于文本到图像的跨模态检索任务。为了支持这一任务，作者为每张图像生成了两种类型的文本描述：自由形式的自然语言描述和基于属性的模板描述。这些描述是通过使用大型语言模型自动生成的，以评估不同视觉语言模型在检索性能上的表现。数据集的创建过

arXiv2025-07-07 更新1470

FreeGraspData

机器人抓取

自然语言处理

FreeGraspData数据集是在MetaGraspNetV2数据集基础上扩展而来，由Fondazione Bruno Kessler创建。该数据集包含300个场景，每个场景都配有三个人类标注的自然语言指令。数据集旨在评估机器人基于自由形式语言指令进行抓取任务的能力，涵盖了不同难度的任务场景，包括直接抓取和需要先移除障碍物的场景。

arXiv2025-03-17 更新180

(Superseded; do not use) ABC fit results of the preprint "Model-based evaluation of the potential impact of HIV eradication cure and remission on HIV transmission".

HIV传播建模

干预评估

Follow the instruction in the GitHub README (https://github.com/alfredodebellis/HIVcure).

Zenodo2025-02-01 更新20

TESTEVAL

软件测试

自动化测试用例生成

TESTEVAL是一个专注于评估大型语言模型在测试用例生成能力的基准数据集，由阿尔伯塔大学等机构创建。该数据集包含210个从LeetCode平台收集的Python程序，分为三个不同的任务：整体覆盖、目标行/分支覆盖和目标路径覆盖。数据集的创建过程涉及从LeetCode收集程序，并根据程序的复杂性进行筛选。TESTEVAL主要用于解决软件测试中自动化测试用例生成的问题，特别是在理解程序逻辑和执行路径

arXiv2024-06-07 更新940

ABC fit results of the paper "Model-based evaluation of the impact of a potential HIV cure on HIV transmission dynamics"

HIV传播动态建模

治愈策略效果评估

Follow the instruction in the GitHub README (https://github.com/alfredodebellis/HIVcure_rev).

Zenodo2025-02-11 更新30