The topics of interest include but are not limited to:

• Aspects of Testing: test derivation, test selection, test coverage, test implementation and execution, test result analysis, test oracles, test management, monitoring and runtime verification, test frameworks

• Model-based Testing: Formal models and modeling languages such as automata, state machines, process algebra, logics, UML, HOL, Markov-chains, test generation from models, model coverage

• Combinatorial Testing: From algorithms for generating combinatorial tests to its use in industry.

• Combination of Techniques: Techniques that demonstrate how to systematically combine testing and formal (model-based) verification and analysis to improve quality and reduce effort

• Quality Aspects: Functional, interoperability, performance, conformance, security, reliability, robustness, etc.

• Application Areas: Communicating systems such as protocols, middleware, networks, web services, wireless applications, control systems, business information systems, embedded and real-time software

• Combinations of different testing techniques for the automated generation of test data

• Tools and Methods: Automated support of any of the testing activities, rigid testing processes, testing driven development, sound metrics and measurements

• Case studies and industrial applications involving qualified empirical evaluations

• Fault localization and repair ideally in combination with testing