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 2007 is the
third 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.
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 8, 2006 extended to December 20, 2006
Notification of
acceptance – January 19, 2007
Final versions – February 5, 2007
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.
Papers should be
submitted electronically in PDF form via the
MBT07 conference service,
which is now operative.
Workshop
proceedings will be distributed by the organizers of ETAPS’07. 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)
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 (Embedded Systems Institute,
Eindhoven, The Netherlands)
Nina Yevtushenko (Tomsk
State University, Russia)