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

Test automation of large, complex system
Metrics for testing - test efficiency, test coverage
Tools for model-based V&V
Test-driven development
Standardization of test tools
Test coverage metrics and criteria
Product line testing
Formal methods and theories for testing and test automation
Test case generation based on formal and semi-formal models
Testing with software usage models
Testing of reactive and object-oriented systems
Software simulation by models, forecasts of behavior and properties
Application of model checking in testing
Tools for security specification, models, protocols, testing and evaluation
Theoretical foundations of test automation
Models as test oracles; test validation with models
Testing anomaly detectors
Testing cyber physical systems
Automated usability and user experience testing