Workshop on Model-Based Testing, Paphos, Cyprus

The Sixth Workshop on Model-Based Testing (MBT 2010) will take place on 21 March 2010 in Paphos, Cyprus.

The aim of the event is to bring together researchers and practitioners in an effort to highlight the state-of-the-art and discuss ideas on new directions for improving testing theories, models, tools and fundamental paradigms.

Topics that will be covered include:
- online and offline test sequence generation methods and tools,
- test data selection methods and tools,
- run-time verification,
- model-based test coverage metrics,
- automatic domain/partition analysis,
- combination of verification and testing,
- models at test oracles,
- scenario-based test generation,
- meta-programming support for testing,
- formalisms suitable for model-base testing,
- application of checking techniques in model-based testing,
- game-theoretic approaches to testing,
- model-based testing in industry: problems and achievements.

In software and hardware, model-based testing is used to describe the behaviour of a tested system and guide the development of test scenarios.For further information, please visit:
http://react.cs.uni-sb.de/mbt2010/(opens in new window)