欢迎来到第 18 届 IEEE 国际软件测试、验证和确认会议 (ICST)，2025 年版的官方网站。ICST 是一个重要的平台，汇聚全球研究人员、科学家、工程师和从业人员，展示他们在软件测试、验证和确认领域的前沿研究成果、创新理念和实际应用。第 18 届 ICST 将于 2025 年在意大利那不勒斯举行。ICST 2025 将接受来自不同领域的高质量投稿，包括但不限于完整研究论文、短文、海报、测试工具及演示、行业观点以及博士研讨会论文。此外，会议还将举办同期活动，包括研讨会、挑战赛、教程以及杰出科学家的主题演讲。敬请关注更多关于同期活动和同期活动的详情！

所有投稿将经过严格的同行评审，以确保质量、原创性和相关性。录用的论文将提交至 IEEE Xplore，但需符合 IEEE Xplore 的范围和质量要求。

1、出版信息

所有录用论文均将在 IEEE Xplore 中出版，具备 IEEE 目录号和 ISBN，并可通过 DBLP、Scopus 和 CPCI 等主流数据库进行检索。

2、组委会

联合主席

Anna Rita Fasolino 那不勒斯费德里科二世大学 意大利

SebastianoPanichella 伯尔尼大学 瑞士

项目联合主席

Aldeida Aleti 莫纳什大学 澳大利亚

Ali Mesbah 不列颠哥伦比亚大学 加拿大

多元化、公平和包容性联合主席：

Cynthia CS Liem 代尔夫特理工大学 荷兰
Ronnie de SouzaSantos 卡尔加里大学 加拿大

• 人工智能辅助软件测试
• 自动测试生成
• 形式验证
• 软件测试过程的手动和社会方面
• 复制、实证研究、案例研究、经验报告
• 软件可靠性
• 静态和动态分析
• 测试自动化
• 测试驱动开发和敏捷测试
• 可测试性、测试设计和充分性标准
• 测试基于人工智能的系统
• 测试和开发流程
• 测试、调试和修复工具
• 测试教育
• 在特定领域进行测试，例如移动、网络、嵌入式/信息物理系统、并发、分布式、云、GUI、上下文感知、物联网、实时系统、视频游戏、增强/虚拟现实应用程序
• 测试非功能性属性，例如安全性、可访问性和性能
• 软件测试理论
• 验证和用户验收技术

1、格式

完整的研究论文必须符合IEEE会议出版格式（双栏格式），篇幅不得超过10页，包含所有正文、图表、表格和附录；允许额外添加两页仅包含参考文献。论文必须符合IEEE会议论文集格式指南（使用信函格式模板和会议选项）。ICST 2025研究方向仅接受完整的研究论文。不接受短篇论文。

作者必须遵守IEEE 剽窃指南。具体而言，投稿论文不得在其他地方发表，且在 ICST 评审期间不得在其他机构接受评审。投稿论文还必须遵守IEEE 作者政策。

2、双盲评审

每篇投稿将由 ICST 2025 程序委员会至少三名成员审核。我们采用双盲审核流程。任何投稿均不得泄露作者身份。作者必须尽力遵守双匿名审核流程。具体而言，投稿中必须隐藏作者姓名，引用其前期工作时应使用第三人称。所有与投稿相关的成果，例如复制软件包和工具，也必须匿名化。任何不符合上述要求的投稿可能会被程序委员会主席拒绝，无需进一步审核。如作者对双盲审核有任何疑问，请通过电子邮件联系程序委员会主席。

3、提交

符合上述要求的研究论文投稿可通过 HotCRP 提交，投稿被接受后，至少有一位论文作者需要注册参加 ICST 2025 并进行论文展示。我们预计会议将以线下形式举行。

4、复制材料

投稿必须提供重复结果所需的所有信息，因此应包含或提供包含必要软件、数据和说明的匿名重复软件包。程序委员会可以参考这些软件包来解决未解决的问题。如果论文未包含重复软件包，作者应说明原因。

5、重要时间

2025 年 1 月 22 日星期三 相机准备就绪
2024 年 12 月 18 日星期三 作者通知截止日期
2024 年 10 月 2 日星期三 全文提交截止日期
2024 年 9 月 25 日星期三 摘要提交截止日期

michele.pasqua@univr.it