-
RSL_Protocol_Based_知识管理工具辅助研究数据
2026年2月9日 30 136 98
数据集概述 本数据集是关于“计算工具如何辅助知识管理活动”的系统文献综述（RSL）协议数据，聚焦软件开发组织中知识管理的挑战，包括分布式团队知识流失、隐性知识捕获需求及质量效率提升等问题，为相关研究提供结构化参考资料。 文件详解 文件名称：Protocolo_de_RSL.xlsx 文件格式：XLSX...
-
DogeFuzz_Based智能合约灰盒模糊测试工具实验数据集
2026年1月29日 30 91 54
数据集概述 本数据集为论文《DogeFuzz: A Simple Yet Efficient Grey-box Fuzzer for Smart Contracts》的实验配套数据，包含Bench72和Bench500两个智能合约测试基准，以及dogefuzz-results结果处理目录、Smartian-...
-
Varanus_Based_MASCOT安全子系统模型与响应时间测试数据
2026年1月21日 30 72 16
数据集概述 本数据集包含基于通信顺序进程（CSP）构建的MASCOT v.6安全子系统模型，以及使用FDR API和Varanus工具链对压力测试、场景测试等多类轨迹进行验证的响应时间数据，涵盖离线和在线验证结果，用于分析模型验证效率与系统安全功能表现。 文件详解 压缩包文件： 文件名称：Varanus:Mascot-Model-and-...
-
Large_Feature_Model_Benchmarks_Baital工具评估基准数据
2026年1月17日 30 155 51
数据集概述 本数据集包含用于评估Baital工具（https://github.com/meelgroup/baital）的基准数据，原始数据来源于四篇软件产品线领域的学术论文，主要涉及产品采样、特征模型分析、SAT解决方案抽样等研究内容。数据集以压缩包形式存储，仅包含一个文件，无训练/测试、数据/标签等拆分结构。 文件详解...
-
ATL模型转换性能预测增强数据集
2025年12月20日 30 95 80
数据集概述 该数据集围绕ATL模型转换的性能预测展开，包含基于输入模型特征的性能预测实验数据，涉及原始与处理后数据、实验脚本及结果，为模型转换性能研究提供支持。 文件详解 文件名称: documentation.pdf 文件格式: PDF 内容: 详细说明实验设计、输入模型特征集及数据集使用方法 文件名称:...
