中国计算机学会(CCF)推荐学术会议-C(软件工程/系统软件/程序设计语言):ICST 2026

ICST 2026

Welcome to the official website of the 19th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2026 edition.

ICST serves as a premier platform uniting researchers, scientists, engineers, and practitioners worldwide to showcase their cutting-edge research findings, innovative ideas, and practical applications in the domain of Software Testing, Verification, and Validation. The 19th edition of ICST, scheduled for 2026, will be held in Daejeon, Republic of Korea.

重要信息

CCF推荐:C(软件工程/系统软件/程序设计语言)

录用率:29.9%(32/107,2025年)

时间地点:2026年5月18日-大田·韩国

截稿时间:2025年12月15日

Call for Papers

AI-assisted software testing.

Automated test generation.

Formal verification.

Manual and social aspects of the software testing process.

Replications, empirical studies, case studies, experience reports.

Software reliability.

Static and dynamic analysis.

Test automation.

Test-driven development and Agile testing.

Testability, test design, and adequacy criteria.

Testing AI-based systems.

Testing and development processes.

Testing, debugging, and repair tools.

Testing education.

Testing in specific domains, such as mobile, web, embedded/cyber-physical systems, concurrent, distributed, cloud, GUI, context-aware, IoT, real-time systems, video games, augmented/virtual reality applications.

Testing of non-functional properties such as security, accessibility, and performance.

Theory of software testing.

Validation and user acceptance techniques.

Submission Format

Full research papers must conform to the two-column IEEE conference publication format, and not exceed 10 pages, including all text, figures, tables, and appendices; two additional pages containing only references are permitted. It must conform to the IEEE Conference Proceedings Formatting Guidelines (use the letter format template and conference option).

Double-blind Reviewing

Each submission will be reviewed by at least three members of the ICST 2026 Program Committee. We employ a double-blind reviewing process. No submission may reveal its authors' identities. Authors must make every effort to honour the double-anonymous review process. In particular, the authors' names must be omitted from the submission, and references to their prior work should be in the third person.

相关推荐
zhaoshuzhaoshu10 小时前
软件需求工程:需求管理详解
软件工程
江畔柳前堤20 小时前
HBM:大语言模型时代的「算力血液」——从内存墙到带宽革命的深度拆解
服务器·人工智能·windows·目标检测·语言模型·自然语言处理·软件工程
qiyongwork1 天前
LLM做需求追溯:从PRD到测试用例的全链路实践
项目管理·软件工程·需求管理
梁辰兴1 天前
软件工程:概要设计阶段的评审
软件工程·梁辰兴·评审内容·评审方法·概要设计阶段的评审·评审意义·评审流程
测试19981 天前
2026全新软件测试面试八股文(含答案+文档)
自动化测试·软件测试·python·测试工具·面试·职场和发展·测试用例
Dr.kangder1 天前
嵌入式软件测试(十五)——模型检查技术原理与应用
软件测试·测试工具·架构·嵌入式·静态分析
zhaoshuzhaoshu1 天前
软件需求工程:需求开发详解
软件工程
梁辰兴2 天前
软件工程:面向数据结构的设计方法
数据结构·软件工程·梁辰兴·面向数据结构的设计方法·jackson方法·warnier方法·方法比较
jufeng13072 天前
【系列:MiniKV 原理剖析 · 第 6 篇】
linux·软件工程·个人开发·makefile