[ecoop-info] CFP: Model-based Testing MOTES07

[Sami Beydeda]

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

2nd Workshop in conjunction with the Annual Congress of the
Gesellschaft fuer Informatik 
Sept. 27th, 2007, 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 workshops 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 MOTES07 is German and English. Submissions 
should not exceed 5 pages and should be formatted according to the layout 
requirements which can be found at 
http://www.gi-ev.de/service/publikationen/lni/

Please submit your paper at the MOTES07 Webpage at 
http://www.testingworkshop.de/motes07 

Important dates
Apr. 29th, 2007: Submission due date
May 28th, 2007: Notification of acceptance
June 18th, 2007: 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
Sami Beydeda, ZIVIT

Members:
To be completed.

Please do not hesitate to contact us by email motes07 at testingworkshop.de 
if you have any question or remarks.