International Conference on Testing Software and Systems ICTSS on August 26-27, 2025 in Paris, France

Aspects of testing: Test derivation, test selection, test coverage, test implementation and execution, monitoring and runtime verification, test result analysis, test oracles, test management, test frameworks;
Model-based testing: Formal models and modeling languages based on automata, state machines, process algebra, logics, UML, HOL, Markov-chains; test generation from models addressing model and fault coverage;
Combinations of testing and formal analysis techniques: Techniques that systematically combine testing and formal (model-based) analysis to improve quality and reduce efforts;
Quality aspects: Functional, interoperability, conformance, reliability, performance, robustness, security, etc;
Application areas: Communicating systems such as protocols, middleware, networks, web services, wireless applications; control systems; business information systems; embedded and real-time software, etc;
Tools and methods: Automated support of testing activities, agile and lean testing processes, test-driven development, sound metrics and measurements;
Case studies: Case studies and industrial applications of testing involving qualified empirical evaluations.