[ecoop-info] CfP: M O T E S 0 8 - M o d e l - b a s e d T e s t i n g

[Axel Hollmann]

M O T E S 0 8  -  M o d e l - b a s e d   T e s t i n g

3rd Workshop in conjunction with the Annual Congress of the
Gesellschaft fuer Informatik
Sept. 12th, 2008, Bremen, Germany

Background
----------
Costs entailed by software failures demonstrate that the systematic
development of software in a certain quality is still a challenge, even
after decades of research. A reason for this can certainly be found
within the single projects. Often, known techniques of quality
assurance are not employed as required due to deadline and budget
restrictions. However, another reason is also the lack of techniques
for quality assurance for specific types of software and software
developed according to specific programming and modeling techniques.

Testing is one of the important analytical techniques of quality
assurance. In model-based testing, the software under test is considered
by the means of a model that focuses on certain aspects, often on the
behavior of the software under test. Models frequently used are finite
state machines and flow graphs. Testing techniques based on such models
are, for instance, formal verification, control and data flow analysis,
and also model checking.

This workshop aims at giving researchers and practitioners a platform
to present their results and experience to a broader audience.

The topics of interest include, but are not limited to:

* Models and modeling notations for programming and testing
* Test case generation based on formal and semi-formal models
* Test coverage metrics and criteria for model-based testing
* Model-based verification and validation
* Models as test oracles, test validation with models
* Formal methods and theories in model-based testing
* Application of model checking in testing
* Simulation by models, forecasts of behavior and properties by models
* Model-based testing of reactive and object-oriented systems
* Model-based verification and validation of tests
* Testing with software usage models
* Tools for model-based testing
* Experience reports and requirements from model-based testing in
   practice
* Experience reports from model-based testing and model-based
   development in practice

Submission/Publication
----------------------
The language of submission for MOTES08 is German and English.
Submissions should not exceed 6 pages and should be formatted according to
the
layout requirements which can be found at
http://www.gi-ev.de/service/publikationen/gi-edition-lecture-notes-in-inform
atics-lni-2005/autorenrichtlinien/

Please submit your paper at the MOTES08 Webpage at
http://www.easychair.org/conferences/?conf=informatik2008ws

Important dates
Apr. 28th, 2008: Submission due date
Jun.  2nd, 2008: Notification of acceptance
Jul.  1st, 2008: Due date for camera ready copies

Accepted submissions will be published in an edition of the series
"Lecture Notes in Informatics (LNI)". For this, one of the authors need
to register and present the accepted submission. During the workshop,
each paper will have a slot of 30 minutes, with 20-25 minutes presentation.

Program committee
-----------------
Chair:
Fevzi Belli, University of Paderborn
Ch. J. Budnik, Siemens Corporate Research, Princeton
Axel Hollmann, University of Paderborn
Mario Winter, Cologne University of Applied Sciences

Members:
To be completed.

Please do not hesitate to contact us by email motes08 at adt.uni-paderborn.de
if you have any question or remarks.


Best regards, Axel Hollmann


UNIVERSITÄT PADERBORN
Faculty of Computer Science, Electrical Engineering and Mathematics
Institute of Electrical Engineering and Information Technology
Software and Knowledge Engineering (ADT)

Room    P 5.2.06
Phone   +49 5251 60-3446
Fax     +49 5251 60-3246
E-Mail  hollmann{at}adt.upb.de
URL     http://adt.upb.de