中国计算机学会(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.

相关推荐
sensen_kiss38 分钟前
CPT304 SoftwareEngineeringII 软件工程 2 Pt.5 软件复用(Software Reuse)
学习·软件工程
王_teacher1 小时前
23种设计模式之工厂模式
设计模式·软件工程·简单工厂模式·工厂方法模式·抽象工厂模式
sensen_kiss3 小时前
CPT304 SoftwareEngineeringII 软件工程 2 Pt.6 批判性分析 / 关键性分析(Critical Analysis)
学习·软件工程
sensen_kiss3 小时前
CPT304 SoftwareEngineeringII 软件工程 2 Pt.7 开源开发 (Open Source Development)
开源·软件工程
小bo波19 小时前
形式化方法 × UML
java·软件工程·uml·面向对象·形式化方法·tla+
lsyeei19 小时前
UML 状态机图
软件工程·uml
暗冰ཏོ1 天前
软件测试完整学习指南:从入门到自动化、性能与安全测试实战
软件测试·功能测试·单元测试·集成测试·压力测试·测试·安全性测试
guslegend1 天前
第2章:从模型到意图,软件工程的范式牵移
软件工程
202321336073 毛敏磊1 天前
个人总结——网络安全与软件工程综合实践
安全·web安全·软件工程
guslegend1 天前
AI驱动的缺陷全自动修复
人工智能·软件工程