-
NeoModeling_Based_图持久化大规模模型驱动工程完整数据
2025年12月21日 30 117 9
数据集概述 本数据集是论文《NeoModeling Framework: Leveraging Graph-Based Persistence for Large-Scale Model-Driven Engineering》的复制包，包含开源工具集NMF的源码、测试文件、评估工件及运行说明，用于在Neo4j数据库中处理超大规模数据集。 文件详解...
-
JavaSMT_SMT_LIB2代码生成器与解析器解释器基准测试结果数据集2023
2025年12月21日 30 32 4
数据集概述 本数据集记录了JavaSMT中新增的SMT-LIB2代码生成器与解析器解释器的基准测试结果，通过CPAchecker、Benchexec框架及SV-Benchmarks完成测试，包含测试结果文件、运行定义文件及日志压缩包。 文件详解 结果数据文件：...
-
MLSToolbox代码生成器论文复现包
2025年12月21日 30 176 4
数据集概述 本数据集是论文《MLSToolbox Code Generator: A tool for generating quality ML pipelines for ML systems》的复现包，包含评估协议、可用性调查结果及质量对比代码管道等文件，用于复现该论文的研究内容。 文件详解 文件名称: MLSToolbox Code...
