Aims and Scope

The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models that describe behavior of the system under consideration to guide such efforts as test selection and test results evaluation.

Model-based testing has gained attention with the popularization of models in software/hardware design and development. Not all the models used now are suitable for testing. Models with formal syntax and semantics are particularly important. Testing according to these models helps one to measure to what degree a product faithfully implements a given model.

Techniques to support model-based testing are drawn from diverse areas, like formal verification, model checking, control and data flow analysis, grammar analysis, and Markov decision processes.

The intent of this workshop is to bring together researchers and users using different kinds of models for testing and to discuss the state of art in theory, applications, tools, and industrialization of model-based testing.

Submission Topics

Original submissions are solicited from industry and academia. They are invited to present their work, plans, and views related to model based testing. The topics of interest include but are not limited to:

Online and offline test sequence generation methods and tools
Test data selection methods and tools
Runtime verification
Model based test coverage metrics
Automatic domain/partition analysis
Combination of verification and testing
Models as test oracles
Scenario based test generation
Meta programming support for testing
Formalisms suitable for model based testing
Application of model checking techniques in model based testing
Game theoretic approach to testing
Model based testing in the industry: problems and achievements

Invited Speakers

Alan Hartman (IBM Research Laboratory, Israel)
Harry Robinson (Google, USA)

Important Dates

Paper submissions – November 29, 2005
Notification of acceptance – January 16, 2005
Final versions – February 15, 2006

Paper Submission

RESEARCH PAPERS should be limited to 12 pages in the standard Springer Verlag format (see http://www.springer.de/comp/lncs/
authors.html), describing significant research results based on sound theory or experimental assessment.

We also solicit INDUSTRY EXPERIENCE PAPERS, about the use of model based testing in industrial environments. Such papers should be limited to 12 pages too.

Workshop proceedings will be distributed by the organizers of ETAPS’06. It is intended also that selected contributions will be published in a journal.

Organizing Committee

Bernd Finkbeiner (Universität des Saarlandes, Germany)
Yuri Gurevich (Microsoft Research, USA)
Alexander K. Petrenko (ISP RAS, Russia)

Program Committee

Bernhard K. Aichernig (UNU-IIST, Macau)
Jonathan Bowen (South Bank University, UK)
Mirko Conrad (Daimler Chrysler, Germany)
John Derrick (University of Kent, UK)
Bernd Finkbeiner (Universität des Saarlandes, Germany)
Susanne Graf (Verimag, Grenoble, France)
Yuri Gurevich (Microsoft Research, USA)
Alexander S. Kossatchev (ISP RAS, Russia)
Darko Marinov (University of Illinois, USA)
Bruno Marre (Universite Paris-Sud, France)
Jefferson Offutt (George Mason University, USA)
Alexander K. Petrenko (ISP RAS, Russia)
Alexandre Petrenko (Computer Research Institute of Montreal, Canada)
Nikolai Tillmann (Microsoft Research, USA)
Jan Tretmans (University of Nijmegen, Netherlands)
Alexandre Zamulin, (IIS RAS, Novosibirsk, Russia)