-
压力测试CPS轻型飞机测试数据档案
2026年2月15日 30 102 58
数据集概述 本数据集包含论文《Stress Testing Control Loops in Cyber Physical Systems》中轻型飞机案例研究的预生成测试轨迹数据。数据以压缩包形式提供，可直接替换测试方法Matlab实现代码库中的对应文件夹，避免重复执行测试，支持快速调用预生成轨迹。 文件详解...
-
学士论文研究数据_无记忆确定性调度器的符号表示
2026年2月1日 30 174 56
数据集概述 本数据集为学士论文《Memoryless-Deterministic Schedulers的符号表示》的配套研究数据，包含两个压缩文件，核心内容围绕调度器的符号表示相关实验展开，用于支撑论文中的研究结论与实验验证。 文件详解 decisiontreemaker.zip 文件格式：ZIP...
-
PROFES_2023_Web应用字体格式效率研究复现包数据
2026年1月29日 30 167 150
数据集概述 本数据集是PROFES 2023会议论文《On the Role of Font Formats in Building Efficient Web Applications》的复现包，包含1个压缩文件，用于复现论文中关于字体格式对Web应用效率影响的实验测试。数据集无目录层级，仅提供归档文件，未包含说明文档或内容预览。 文件详解...
-
手臂内存基准测试包的可重复性与吞吐量基准测试_PPAM_2024
2026年1月28日 30 116 1
数据集概述 本数据集是论文《Introducing the Arm-membench Throughput Benchmark》的可复现性包，包含支持论文实验结果复现的相关文件，为Arm架构下内存吞吐量基准测试的研究提供可验证的资源，助力计算机硬件性能评估领域的实验复现与分析。 文件详解 文件名称：ppam-2024-burth-et-al-...
-
ChatGPT_Source_图像生成SKOS叙词表实验复现补充数据
2026年1月27日 30 147 47
数据集概述 本数据集是论文的补充数据，用于复现利用ChatGPT从手写思维导图类图像和数字生成图像创建SKOS叙词表的实验。数据包含相关实验所需的文件，涉及DHA Taxonomy和TaDiRAH两个SKOS叙词表的使用，为研究图像到SKOS叙词表的转换方法提供支持。 文件详解 文件名称：fig-to-skos-using-chatgpt.zip...
-
Evonne_Based_IJCAR22交互式证明可视化系统资源数据
2026年1月25日 30 43 16
数据集概述 本数据集包含与论文《Evonne: Interactive Proof Visualization for Description Logics (System Description)》相关的资源，涉及Evonne工具的版本文件及实验所用数据与脚本，支持对描述逻辑交互式证明可视化工具的研究与应用。 文件详解 文件名称：evonne-...
-
pieterhartel_Based_智能合约大规模变异测试TAP2020论文复现包
2026年1月18日 30 41 38
数据集概述 本数据集是TAP2020论文《Mutation testing of smart contracts at scale》的复现包，聚焦智能合约的大规模变异测试研究，包含评估现有变异算子有效性、提出新杀伤条件等相关实验复现所需的文件，支持对智能合约测试质量与完整性的验证分析。 文件详解 文件名称：pieterhartel/Mutation-...
-
Multi_Cost_Based_MDP多成本有界权衡分析实验复现数据
2026年1月22日 30 3 2
数据集概述 本数据集为论文《Multi-Cost Bounded Trade-off Analysis in MDP》的配套实验复现资源，包含用于重复论文实验所需的全部数据与脚本，以压缩包形式提供，支持学术研究中对马尔可夫决策过程（MDP）多成本权衡分析方法的验证与复现。 文件详解 主文件： 文件名称：multi-cost-mdp.zip...
-
PrAIoritize_Based智能合约漏洞自动化预测与优先级排序数据
2026年1月21日 30 13 8
数据集概述 本数据集包含论文“PrAIoritize: Automated Early Prediction and Prioritization of Vulnerabilities in Smart...
-
STTT_DSMC_Based神经网络行为分析可扩展性研究Artifact数据
2026年1月20日 30 106 51
数据集概述 本数据集为STTT论文《Analyzing Neural Network Behavior through Deep Statistical Model Checking》配套的Artifact数据，包含用于DSMC（深度统计模型检查）可扩展性研究的脚本与基础设施文件，支持复现论文中关于神经网络行为分析的可扩展性实验，总计1个文件。...
-
ReliSA_Based_软件组件最优兼容集ILP算法实验结果数据集_2015_07
2026年1月14日 30 127 5
数据集概述 本数据集为论文中使用的实验结果数据，核心内容是基于整数线性规划（ILP）方法寻找最优软件组件兼容集的相关实验数据，支持验证该方法的有效性，数据集包含1个压缩文件。 文件详解 文件名称：ReliSA/dataset_optimal-set-ilp-2015-07-1.0.zip 文件格式：ZIP 字段映射介绍：压缩文件包含论文"Finding...
-
DroidTEC_ISSTA_2024_Android应用类型状态误用检测实验结果数据
2026年1月14日 30 172 127
数据集概述 本数据集为ISSTA-2024会议投稿论文《DroidTEC》的实验结果 artifact，包含实验设置说明、TypeState API规则、Android应用中TypeState...
-
DroidTEC_Based_ICSE_2026提交物_Android应用类型状态分析实验结果数据
2026年1月6日 30 57 8
数据集概述 本数据集是ICSE-2026会议提交物DroidTEC的实验结果集合，包含实验设置说明和多项研究问题（RQ1至RQ5）的分析结果，涉及Android应用的类型状态API规则、使用情况、误用检测及对比工具执行结果，用于支持论文中的实验分析。 文件详解 Experimental_Setup.txt 文件格式：TXT...
-
Optimal_Infinite_Temporal_Planning_PTA循环规划实验数据_压缩包
2026年1月5日 30 87 10
数据集概述 本数据集为论文“Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata”的配套实验数据，包含用于验证PTA最优无限时间规划方法的UPPAAL模型和实验原始数据，以压缩包形式提供，支持对相关规划算法的复现与分析。 文件详解...
-
RobustQueryProcessing_SupplementalMaterial_实验结果与查询数据
2026年1月1日 30 205 96
数据集概述 本数据集是论文《Robust Query Processing for Linked Data Fragments》的实验结果补充材料，包含实验所用的原始结果数据及查询内容，为理解链接数据片段的鲁棒查询处理实验提供支持，仅含一个压缩文件。 文件详解 文件名称：material.zip 文件格式：ZIP...
-
JavaSMT框架扩展与Bitwuzla求解器评估基准数据集
2025年12月22日 30 166 81
数据集概述 该数据集是论文《Extending the Framework JavaSMT with the SMT Solver Bitwuzla and Evaluation using CPAchecker》的基准文件，包含评估JavaSMT框架扩展及Bitwuzla求解器性能的相关数据文件。 文件详解...
-
荷兰文化期刊_De_Gids_主题建模数据集
2025年12月22日 30 108 29
数据集概述 本数据集是论文《Topic Modelling “De Gids”：An Explorative Study into the Use of Topic Modelling on a Cultural Periodical》的配套数据，包含论文原文及实验相关文件，用于支持对荷兰文化期刊《De Gids》的主题建模研究。 文件详解...
-
NeoModeling_Based_图持久化大规模模型驱动工程完整数据
2025年12月21日 30 153 26
数据集概述 本数据集是论文《NeoModeling Framework: Leveraging Graph-Based Persistence for Large-Scale Model-Driven Engineering》的复制包，包含开源工具集NMF的源码、测试文件、评估工件及运行说明，用于在Neo4j数据库中处理超大规模数据集。 文件详解...
-
基于规则的论证基础器ANGRY基准实例数据集
2025年12月21日 30 59 57
数据集概述 本数据集包含用于评估基于规则的论证基础器ANGRY的基准实例，按论文《使用Datalog为基于规则的论证建立基础》中描述的场景组织，涵盖不同场景的测试实例及实验结果文件。 文件详解 基准实例文件（evaluation.7z）：压缩文件，包含不同场景的基准实例，具体如下：...
-
世界性扁虫Gyratrix_hermaphroditus隐种多样性研究引物与PCR方案表
2025年12月21日 30 62 55
数据集概述 本数据集为学术论文中的表格数据，记录了用于研究世界性扁虫Gyratrix hermaphroditus隐种多样性的分子实验关键信息，包括18S、28S、5.8S+ITS2等基因片段的引物序列、用途、参考文献及对应的PCR扩增程序。 文件详解 文件名称: table.html 文件格式: HTML (.html) 内容字段:...
