STVR Special Issue on Model-Based Testing

Software Testing, Verification and Reliability invites authors to submit papers for a Special Issue on Model-Based Testing.

Update: Deadline extended to September 21, 2009


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).


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

Submission Information

The deadline for submissions is 30th August, 2009 21st 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.

Please submit your paper electronically using the Software Testing, Verification & Reliability manuscript submission site. Select "Special Issue Paper" and enter "Model-Based Testing" as title.

Guest Editors

Paul Ammann, George Mason University, USA
Gordon Fraser, Graz University of Technology, Austria
Franz Wotawa, Graz University of Technology, Austria

Last updated: April 21, 2009