ICST 2024 (https://conf.researchr.org/home/icst-2024) invites high-quality submissions in all areas of software testing, verification, and validation. Papers for the research track should present novel and original work that advances the state-of-the-art. Case studies and empirical research papers are also welcome.

Topics of Interest

Topics of interest include, but are not limited to, the following:

    Automated test generation, e.g., fuzz testing, search-based test generation, (dynamic) symbolic execution
    Manual testing practices and techniques
    Security testing
    Model-based testing
    Test automation
    Static analysis and symbolic execution
    Formal verification and model checking
    Software reliability
    Social aspects of software testing process
    Testability and design
    Testing and development processes
    Testing education
    Testing in specific domains, such as mobile, web, embedded/cyber-physical systems, concurrent, distributed, cloud, GUI, and real-time systems
    Testing for learning-enabled software, including deep learning
    Testing video games, augmented reality
    Testing/debugging tools
    Theory of software testing
    Empirical studies
    Experience reports

Each submission will be reviewed by at least three members of the ICST Program Committee.

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