tacas-artifact-evaluation

在打包 TACAS（ETAPS）工件以申请 ETAPS 工件徽章（可用、功能完整、可复用）时，需遵循两轮评审模型（工具类与工具演示类论文为强制性评审，研究类与案例研究类论文为录用后自愿评审），AEC 将在干净的评估虚拟机、DOI 发布存档以及防篡改文档方面进行以下检查： 1. **干净的评估虚拟机**： - 虚拟机镜像必须为纯净环境，仅包含运行工件所需的依赖项，不得预装额外工具或数据。 - 提供明确的启动与配置说明，确保评估者可独立复现实验。 - 虚拟机需支持标准格式（如 OVF、VMDK 等），并附带完整性校验（如 SHA256 哈希值）。 2. **DOI 发布存档**： - 工件必须上传至可信数字仓储（如 Zenodo、Figshare 等），并分配永久 DOI。 - 存档内容需包含完整工件（代码、数据、文档等）及版本信息，确保长期可访问。 - 存档元数据需清晰标注与论文的关联性（如论文标题、作者、会议信息）。 3. **防篡改文档**： - 提供详尽的评估指南，涵盖安装、运行、验证步骤及预期结果。 - 关键文档（如 README、评估脚本）需附带数字签名或哈希校验，防止篡改。 - 若涉及敏感数据，需提供脱敏说明或替代方案，确保评估可行性。 注：工具类论文需在投稿阶段提交工件，由程序委员会并行评审；研究类论文可在录用后自愿提交，由 AEC 进行后置评估。

存档时间线

版本索引永久保留；内容副本只保留最新 1 份，更早版本仅留索引与哈希（存档时间线的证据链不会因此断裂）。

下载存档内容副本