Runtime Verification and Monitoring

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

Final call for submissions for MBT 2006. Submissions deadline is 
Friday, November 25.

-----------------------------------------------------------------------

MBT 2006 

Second Workshop on Model Based Testing 
March 25-26, 2006 Vienna, Austria

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

Satellite workshop of ETAPS 2006
http://www.complang.tuwien.ac.at/etaps06/ 

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

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 25, 2005
* Notification of acceptance: January 16, 2005
* Final versions: February 15th, 2006


PAPER SUBMISSION

RESEARCH PAPERS should be limited to 12 pages in the standard Springer
Verlag LNCS format, 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 also intended that selected contributions will be
published in a journal.


WEBSITE

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


ORGANIZING COMMITTEE 

Bernd Finkbeiner (Universitaet 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 (University of Saarland, 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)
Elaine Weyuker (ATT Labs, USA)
Alexander Zamulin, (IIS RAS, Novosibirsk, Russia)