ICSE_24论文Artifact_非良分离GR_1_规范的类型控制器与快速启发式

数据集概述

该数据集是ICSE'24会议论文的附属Artifact，用于复现论文中关于非良分离GR(1)规范的类型控制器与快速启发式方法的实验结果，支持论文核心实验的验证与重复。

文件详解

• LICENSE.txt：TXT格式，包含BSD 3-Clause License授权信息，涉及版权归属（特拉维夫大学与软件建模实验室）及使用条款。
• README.txt：TXT格式，为Artifact评估说明文档，介绍复现论文实验（Tables 1-4）的目的、使用方式（运行bat脚本生成实验原始数据CSV文件）。
• artifact.zip：ZIP格式压缩包，推测包含复现实验所需的脚本、代码或数据文件。
• Paper with appendices.pdf：PDF格式，包含论文正文及附录内容，提供研究背景与方法细节。

适用场景

• 软件工程研究：复现ICSE'24论文实验结果，验证非良分离GR(1)规范控制器设计方法的有效性。
• 形式化方法验证：基于Artifact中的启发式算法，开展GR(1)规范合成效率的对比实验。
• 学术论文补充：为相关领域研究者提供论文实验的可复现资源，支持方法改进与扩展研究。