专刊简介：

复杂系统为软件工程技术带来了理论研究和应用研究的机遇和挑战。软件分析与测试技术贯穿软件工程过程，涵盖程序分析、缺陷发现、测试调试等技术领域。新时代下智能化技术为传统软件工程方法和系统软件研发提供了新的解决方案和工具链；而复杂系统自身的软件工程问题为高质量的软件生产带来了巨大挑战。因此，复杂复杂系统的软件分析与测试的研究具有长期的重要的研究价值。

专刊题目：面向复杂系统的软件分析与测试

特约编辑：

玄跻峰（武汉大学）

辛奇（武汉大学）

陈立前（国防科技大学）

张洪宇（重庆大学）

专刊出版时间：2025年第32卷第2期

一、征文范围：

本专刊针对复杂系统和软件的核心问题，提供软件分析与测试方法和技术方案。专刊主要目标包括解决复杂软件工程问题，研发软件分析与测试方法和技术，汇聚学术力量解决生产实践问题。征文研究领域包括但不限于以下主题：

1.复杂系统建模与分析

2.复杂系统质量优化

3.软件质量保障

4.程序分析

5.软件测试

6.漏洞检测

7.缺陷修复与调试

8.软件可靠性

9.软件安全

10.性能分析

二、投稿要求：

1) 稿件格式：参照《Automated Software Engineering》论文格式（http://link.springer.com/journal/10515/submission-guidelines网站上提供了论文模版，可下载）

2) 投稿要求：投稿文章未在正式出版物上发表过，也不在其他刊物或会议的审稿过程中，不存在一稿多投现象；投稿文章具有合法性，无抄袭、剽窃、侵权等不良行为。

3) 投稿与评审方式：本专刊论坛投稿论文经过两轮投稿和评审、一次口头报告和质询。

第一阶段：投稿使用ChinaSoft 2024会议系统（ http://easychair.org/my/conference?conf=ccfchinasoft2024），请确认选择“面向复杂系统的软件分析与测试专刊”Track，由会议通知评审结果。所有通过第一轮评审的稿件，进入第二阶段。

第二阶段：通过第一阶段稿件的作者，将在ChinaSoft 2024会议进行口头报告，参加责任编辑的现场问答环节。责任编辑根据评审结果、稿件修改情况及会议质询结果给出稿件反馈建议。

第三阶段：通过第二阶段的修改稿，提交至《Automated Software Engineering Journal》的“Effective Program Analysis and Testing for Modern Software Development” （http://link.springer.com/collections/aajebfdefd）。第二轮投稿论文由期刊组织审稿，审稿意见由期刊通知。

三、重要时间：

第一阶段：ChinaSoft 2024会议评审

论文截稿日期：2024年9月18日

论文审稿结果通知日期：2024年10月29日

第二阶段：ChinaSoft 2024会议报告

ChinaSoft 2024报告日期：2024年11月15-17日

第三阶段：Automated Software Engineering Journal评审

论文（修改稿）截稿日期：2025年1月31日

终审结果通知日期：2025年5月16日

出版时间：2025年第32卷第2期