See the full CFP at http://www.paperdyne.com/motes06/cfp.html

Note that the submission due date is June 26, 2006.

Cheers,
Harry

M O T E S 0 6  -  M o d e l - b a s e d   T e s t i n g
=======================================================
Workshop in conjunction with the 36th Annual Congress of the
Gesellschaft fuer Informatik (Oct. 2-6, 2006, Dresden, Germany)

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 MOTES06 is German as well as English.
Submissions should not exceed 9 pages and should be formatted according
to the layout requirements which can be found at
http://www.gi-ev.de/service/publikationen/lni/
Please follow the instructions at http://www.paperdyne.com/motes06.html
for submission.

Important dates
June 26, 2006: Submission due date
July 24, 2006: Notification of acceptance
Aug. 7, 2006:  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.