ICST 2025 invites high-quality submissions in all software testing, verification, and validation areas. Topics of interest include, but are not limited to, the following:

    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

Papers for the research track should present novel and original work that advances the state-of-the-art. Case studies, replication studies, and empirical research papers are also welcome.

Papers with a strong industrial/practical component and focus more on impact than (technical) novelty are encouraged to consider the industry track instead.