复杂系统为软件工程技术带来了理论研究和应用研究的机遇和挑战。软件分析与测试技术贯穿软件工程过程，涵盖程序分析、缺陷发现、测试调试等技术领域。新时代下智能化技术为传统软件工程方法和系统软件研发提供了新的凯发k8登录的解决方案和工具链；而复杂系统自身的软件工程问题为高质量的软件生产带来了巨大挑战。因此，复杂系统的软件分析与测试的研究具有长期的重要的研究价值。本专刊以专刊论文征集为基础，面向复杂系统和软件的核心问题，展示软件分析与测试方法和技术方案。
01
论坛组织委员会
玄跻峰（武汉大学）
辛 奇（武汉大学）
陈立前（国防科技大学）
张洪宇（重庆大学）
02
程序委员会
陈俊洁（天津大学）
范 铭（西安交通大学）
冯 洋（南京大学）
甘 庭（武汉大学）
黄凯锋（同济大学）
姜佳君（天津大学）
蒋炎岩（南京大学）
李晓晨（大连理工大学）
林 斌（radboud university）
刘 超（重庆大学）
刘名威（中山大学）
莫 然（华中师范大学）
任志磊（大连理工大学）
石 琳（北京航空航天大学）
王 博（北京交通大学）
王 豫（南京大学）
谢晓园（武汉大学）
王尚文（国防科技大学）
晏荣杰（中国科学院软件研究所）
杨燕鸣（浙江大学）
张静宣（南京航空航天大学）
张 能（华中师范大学）
张羽丰（湖南大学）
邹卫琴（南京航空航天大学）
03
论坛议程
04
论坛组织委员会简介
论坛主席：玄跻峰
个人简介：
玄跻峰，武汉大学教授、博士生导师，计算机学院副院长，ccf软件工程专委会常务委员、武汉计算机软件工程学会常务理事。主要研究领域为软件分析与测试，包括软件测试调试、软件数据分析、软件系统优化等方向。担任plos one期刊编委、第七届全国演化计算与学习会议（ecole）主席。获得acm sigsoft杰出论文奖、入选esi高被引论文。获得中国计算机学会优秀博士论文奖（ccf优博）；ieee icsme杰出服务奖；入选武汉大学“查全性教授1977奖教金”；入选首批中国科协青年人才托举工程。
论坛主席：辛奇
个人简介：
辛奇，武汉大学计算机学院副教授，博士生导师。研究领域为软件工程，方向为软件测试与调试、软件优化、程序分析。在相关领域发表论文20余篇。主持国家自然科学基金青年项目。入选湖北省创新人才计划、华为人才计划、获得acm-wuhan新星、武汉英才、武汉软件工程学会青年才俊等奖项。担任ccf系统软件专委会执行委员，icse、fse等会议程序委员会成员，tse、tosem等期刊审稿人，以及ause期刊特刊编辑。
论坛主席：陈立前
个人简介：
陈立前，国防科技大学计算机学院副教授。主要研究领域为可信软件，包括软件分析验证、软件自动修复等方向。在acm/ieee transactions、popl、fse等期刊会议上发表论文多篇，获acm sigsoft杰出论文奖，出版教材译著4部。研究成果获省部级科技进步一等奖1项、二等奖1项。部分成果已在航天、国防等领域重大工程中应用。
论坛主席：张洪宇
个人简介：
张洪宇，教授，重庆大学大数据与软件学院院长。研究领域是软件工程，特别是智能化软件工程、软件分析、软件维护、软件重用等。主要的研究内容是通过挖掘软件数据来提高软件的质量和开发、维护效率。在代码智能、智能运维、软件数据挖掘等方向做了很多开创性工作。在国际期刊和会议上发表了论文250余篇，包括了70多篇ccf a类论文，获得过8次acm杰出论文奖和会议最佳论文奖。担任多个重要国际学术会议的程序委员会委员（如icse, fse, ase等）和大会主席（如icsme 2020），以及多个国际期刊（如acm computing surveys的编委。他是acm杰出会员、ccf杰出会员，澳大利亚工程师协会会士（fieaust），和david parnas fellow。
