TACAS 2020年

论文提交

请参阅ETAPS 2020联合征文。通过提交论文EasyChair的TACAS 2020作者界面。

TACAS 2020的审查过程是单盲， 对选定的论文进行反驳。

提交次数限制为3次：每位作者最多只能作为作者或合著者提交三份TACAS。合著论文的作者共同负责遵守这一政策。如果出现违规行为，该（共同）作者提交的所有材料都将被桌面拒绝。

纸张类别

TACAS接受四种类型的提交：研究论文、案例研究论文、常规工具论文和工具演示论文。

研究论文明确确定并证明对系统构建和分析的理论基础的原则性推进。在适用的情况下，它们得到了实验验证的支持。

案例研究论文报告案例研究，最好是在真实环境中。他们应提供有关以下方面的信息：正在研究的系统及其感兴趣的原因、研究的目标、系统对自动化分析/测试/综合提出的挑战、所使用的研究方法和方法、实现目标的程度、，以及如何将结果推广到其他问题和领域。

常规工具文件呈现新工具、新工具组件或现有工具的新扩展，并受工件提交要求（见下文）。他们应该提供理论基础的简短描述和相关引用，并强调设计和实现关注点，包括软件架构和核心数据结构。常规工具文件应明确说明工具的功能，根据工具可以处理的问题的类型和大小讨论工具的实际能力，描述实际案例研究的经验，并在适用的情况下提供严格的实验评估。对现有工具进行扩展的论文应明确关注与之前发布的工具版本相关的改进或扩展，最好通过资源和功能方面的增强数据加以证实。

工具演示文件关注工具的使用方面，并且还受工件提交要求。不需要理论基础和实验评估，但应提供动机，说明为什么该工具有趣且重要。此外，论文还应描述一些方面，例如，关于应用领域和/或潜在通用性程度的假设，演示工具工作流，解释集成和/或人机交互，评估总体角色和对开发过程的影响。

的长度研究, 案例研究、和常规工具文件仅限于16页llncs.cls公司(不包括blibilography).长度工具演示文件仅限于6页llncs.cls公司(排除书目)。

超出上述页数限制的附录如下不允许! 附加（无限制）附录可以单独提供，也可以作为论文扩展版本的一部分，通过arXiv、Zenodo或类似服务提供，并在论文中引用。然而，评审员没有义务阅读此类附录。

论文评估

所有论文将由项目委员会（PC）评估，由PC主席协调，由案例研究主席协助进行案例研究，由工具主席协助进行常规工具文件和工具演示文件。所有论文将根据新颖性、重要性、正确性和清晰度进行评判。

结果的再现性对于TACAS社区来说至关重要。因此，我们鼓励所有作者支持复制他们论文的结果。对于定理，这意味着提供证明；对于算法，这意味着通过理论分析或实验，包括正确性和可接受性能的证据；对于实验，应该提供对用于生成实验数据的伪像的访问。不适合论文的材料可以在补充网站上提供，并适当启用访问权限和明确许可权。例如，如有必要（例如，如果调查了专有数据或软件不是开源的），用于审查案例研究论文和具有实验结果的论文的补充材料可以归类为审查人员保密材料。总的来说，TACAS鼓励所有作者存档额外的材料，并通过DOI（例如，通过Zenodo或Figshare）使其可引用。

工件提交和评估

R（右）通用工具文件和工具演示文件 必须有人陪同通过人造物品,与论文一起提交。

PC主席可以批准强制性工件提交规则的例外情况，但仅限于AEC无法以任何合理方式运行该工具的情况。在这种情况下，作者应尽快（至少在提交摘要前7天）联系PC主席，请求例外，并解释为什么需要例外。例外情况可以协商的一个例子是必须在一些非常特殊的环境中运行的工具，例如，在无法以任何方式虚拟化的特殊硬件上。请注意，许可证问题通常不是例外的可接受理由。当允许例外时，作者应该提交一个详细的视频，展示他们正在使用的工具。

工件将由工件评估委员会（AEC）根据以下标准独立于论文进行评估：

• 与本文结果的一致性和可复制性，
• 完整性，
• 文档，以及
• 易于使用。

在讨论提交的论文时，将考虑工件评估的结果。

对于研究论文和案例研究论文，是的可选择的将一件手工制品与论文一起提交。如果在此阶段提供了工件，则AEC将立即对其进行审查，并在论文审查和反驳阶段考虑评估结果。或者，被接受论文的作者可以在通知后提交人工制品。

可以找到工件准备和提交的详细指南在这里。