Runtime Verification and Monitoring

[mbt2007 AT alan.cs.uni-sb.de (Bernd Finkbeiner)]

MBT 2007

Third Workshop on Model-Based Testing

March 31 - April 1, 2007 Braga, Portugal
http://react.cs.uni-sb.de/mbt2007/

Satellite workshop of ETAPS 2007
http://www.di.uminho.pt/etaps07/


-----------------------------------------------------------------------
Call for Papers
-----------------------------------------------------------------------


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 of MBT 2004 appeared in ENTCS volume 111.
http://www.ispras.ru/news/MBT2004.html

MBT 2006 was held March 25-26, 2006, in Vienna, Austria. The
proceedings of MBT 2006 will appear in ENTCS volume 164.
http://react.cs.uni-sb.de/mbt2006/


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

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


WEBSITE

http://react.cs.uni-sb.de/mbt2007/


ORGANIZING COMMITTEE

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


PROGRAM COMMITTEE

The Program Committee is being finalized. All or almost all members of
the MBT 2006 PC will be serving again.