CALL FOR PAPERS:
STVR Special Issue on Model-Based Testing

The increasing use of software and the growing system complexity make
focussed software testing a challenging task. Recent years have seen
an increasing industrial and academic interest in the use of models
for designing and testing software. Success has been reported using a
range of types of techniques, processes, and models using a variety of
specification formats, notations and formal languages. This special
issue serves as a platform for researchers and practitioners to
present theory, results, experience and advances in model-based
testing (MBT).

Topics

This special issue focuses on all topics relevant to MBT.
In particular, the topics of interest include, but are not limited to:

The models used in model-based testing

The processes, techniques, and tools that support model-based testing

Evaluation of model-based testing

Submission Information

The deadline for submissions is 30th August, 200921st September, 2009 (extended!).
Notification of decisions will be given by the end of February, 2010.

All submissions must contain original unpublished work not being
considered for publication elsewhere. Original extensions to
conference papers are also encouraged unless prohibited by copyright.
Submissions will be refereed according to standard
procedures for Software Testing, Verification and Reliability.