ACM SIGSOFT 软件测试与分析国际研讨会

ISSTA（International Symposium on Software Testing and Analysis）是软件测试与分析领域的顶级研究研讨会，由 ACM SIGSOFT 主办，汇聚学术界、产业研究人员和从业者，交流软件系统分析与测试方面的新想法、新问题与新经验。
ISSTA 2026 为第 35 届，将与 SPLASH 2026 联合举办，于 2026 年 10 月 3-9 日在美国加州奥克兰举行，与 OOPSLA、SAS（静态分析研讨会）等会议同场。会议设主旨报告（Ke Mao：从 Sapienz 到自主智能体；Kent Kent Beck：The Augmented Forest 等）、研究论文报告、海报、学生研究竞赛（SRC）、博士论坛、PLMW、Summer School、工具演示、REBASE 产业轨、工件评估及多个研讨会。

1、组委会

大会主席：
Willem Visser（南非斯泰伦博斯大学 Stellenbosch University）
程序委员会主席：
Cindy Rubio-González（美国加州大学戴维斯分校）、Marcel Böhme（德国 CISPA 亥姆霍兹信息安全中心）
工件评估委员会主席：
Ridwan Shariffdeen、Stefan Winter

2、出版信息

论文集发表于 Proceedings of the ACM on Software Engineering（PACMSE）期刊 ISSTA 2026 期，收入 ACM Digital Library

• 面向分析与测试的 AI：基于智能体或 LLM 的规约推断、代码生成、软件测试、程序分析、程序修复
• 面向 AI 的分析与测试：智能体/智能体系统、ML 模型/软件混合系统、ML 组件与库的测试与分析；公平性、安全性、可信性
• 软件测试生成：回归、变异与基于模型的测试；系统/单元/集成测试；黑盒、灰盒与白盒模糊测试；搜索式软件测试；符号执行与 concolic 执行
• 软件调试与修复：故障定位与调试；搜索式与基于约束的程序修复；逆向工程；程序理解；规约推断软件验证与分析技术：静态、动态与经验程序分析；
• 程序验证、运行时验证与模型检测；重构、变换与规约；CI/CD 或部署中的测试分析；演化系统测试分析；变异测试分析；生态规模分析；非功能属性（可信性、安全性、可靠性、性能）
• 安全分析与测试：二进制分析、提升与插桩；漏洞检测（如 sanitizer）；侧信道与数据泄露；供应链分析；恶意软件分析；混淆
• 领域特定的分析与测试：区块链/智能合约、并发/分布式、信息物理/自主系统、数据库/操作系统、数值与科学计算、测试工具自身、Web/移动/量子应用等的测试与分析
• 测试与分析过程的实证与用户研究：软件工程过程（敏捷、DevOps）；绿色可持续技术；伦理与价值；软件经济学；系统性代码评审与检查；程序理解与可视化

1、投稿指南

不超过 18 页（含附录，不含数据可用性章节与参考文献）+ 参考文献不限页；参考文献前须含"Data Availability"章节；双盲匿名评审；每位作者不得泄露身份；每篇至少 3 位 PC 成员评审；经 HotCRP 提交：https://issta2026.hotcrp.com/

2、重要时间

投稿截止：2026年1月29日
作者回应：2026年3月24-26日
初步通知：2026年4月16日
大修稿截止：2026年5月21日
最终通知：2026年6月25日
会议时间：2026年10月3-9日