ICST

ICST stands for the International Conference on Software Testing, Verification and Validation. It is an international, peer‑reviewed conference focused on software testing, verification and validation, and related quality assurance topics for software‑intensive systems. The conference serves as a forum for researchers, practitioners, and educators to share methods, results, and experiences.

Topics covered at ICST include test-case generation and optimization, automated testing, mutation testing, regression testing, model‑based testing, symbolic execution, formal verification and model checking, runtime verification, and performance, reliability, and security testing. The conference also encompasses empirical software engineering, benchmarks, tool demonstrations, and case studies that illustrate testing in practice.

The event typically features full and short paper submissions, keynote talks, tutorials, demonstrations, and panels. Submissions undergo peer review with attention to methodological rigor, significance, and potential for impact. Proceedings are published and widely cited within the software engineering community.

Since its inception, ICST has been held in various locations around the world and is recognized as a leading venue for advancing both the theory and practice of software testing and verification. By bringing together researchers and industry practitioners, it aims to accelerate the development of effective testing techniques, verification methods, and tools that improve software quality and reliability.