-
Compiler_Equivalence_研究数据
2026年1月31日 30 93 18
数据集概述 本数据集围绕突变测试中等价突变体识别问题展开,基于Trivial Compiler Equivalence(TCE)技术,提供针对6个大型开源程序和18个基准程序的实证研究数据,可用于检测等价突变体和重复突变体,为解决突变测试长期挑战提供支持。 文件详解 文件名称:compiler.zip 文件格式:ZIP...
-
PACING_Source_心脏起搏器软件行为模型与测试研究数据
2026年1月28日 30 139 8
数据集概述 本数据集包含基于指定文档开发的心脏起搏器软件起搏行为模型,仅捕捉VVI(心室起搏、心室感知、抑制响应)和DDD(双腔起搏、双腔感知、跟踪响应)两种起搏模式。数据还包含一组种子突变体及相关测试输入,用于模型测试研究。 文件详解 文件名称:pacing.zip 文件格式:ZIP...



