Aims and
Scope
The workshop is
devoted to model-based testing of both software and hardware. Model-based
testing uses models that describe the 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. Of particular importance are formal models with
precise semantics, such as state-based formalisms. Testing with such models
allows one to measure the degree of the product's conformance with the
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 the art in theory,
applications, tools, and industrialization of model-based testing.
Workshop History
MBT 2008 is the fourth
event in a series of ETAPS satellite workshops. MBT 2004, historically the
first meeting to focus on model-based testing, was held March 27-28, 2004,
in Barcelona, Spain. The proceedings appeared as ENTCS volume
111. MBT 2006
was held March 25-26, 2006, in Vienna,
Austria.
The proceedings appeared as ENTCS volume
164, issue 4. MBT 2007 was held March 31 - April 1, 2007, in Braga, Portugal. The proceedings
appeared as ENTCS volume
190, issue 2.
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 approaches to testing
Model-based testing in industry: problems and achievements
Important Dates
Paper
submissions – December 20, 2007
Notification of acceptance – January 14, 2008
Final versions – January 30, 2008
Workshop – March 30, 2008
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’08. 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 (Institute for System Programming of
Russian Academy of Sciences)
Program
Committee
Bernhard K. Aichernig (Graz University of
Technology, Austria)
Jonathan Bowen (Museophile Limited, UK)
Mirko Conrad (The MathWorks GmbH, Germany)
John Derrick (University of Kent, UK)
Bernd Finkbeiner (Universität des Saarlandes, Germany)
Marie-Claude Gaudel (Universite
Paris-Sud, France)
Susanne Graf (Verimag, Grenoble,
France)
Yuri Gurevich (Microsoft Research, USA)
Ziyad Hanna (Jasper Design Automation, USA)
Alexander S. Kossatchev (ISP RAS, Russia)
Darko Marinov
(University of Illinois, USA)
Bruno Marre (Universite
Paris-Sud, France)
Alexander K. Petrenko (ISP RAS, Russia)
Alexandre Petrenko
(Computer Research Institute of Montreal, Canada)
Nikolai Tillmann (Microsoft Research, USA)
Jan Tretmans (Embedded Systems Institute, Eindhoven, The Netherlands)
Nina Yevtushenko (Tomsk
State University, Russia)
