Welcome Features Quotes Upcoming Contact F.A.Q. Demo   CALL FOR PAPERS     MOTES06 - Model-based Testing   Workshop in conjunction with the 36th Annual Congress of the Gesellschaft fuer Informatik   (Oct. 2-6, 2006, Dresden, 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 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. Program committee Chair: Fevzi Belli, University of Paderborn Sami Beydeda, ZIVIT Peter Liggesmeyer, University of Kaiserslautern Members: Colin Atkinson, University of Mannheim Mario Dal Cin, University of Erlangen-Nuremberg Hans-Dieter Ehrich, Technical University of Braunschweig Christof Fetzer, Technical University of Dresden Sabine Glesner, Technische University of Berlin Stefan Gossens, Framatome ANP GmbH Wolfgang Grieskamp, Microsoft Research Volker Gruhn, University of Leipzig Walter Gutjahr, University of Vienna Uwe Hehn, method park Software AG Maritta Heisel, University of Duisburg-Essen Oliver Jack, Lenze Drive Systems Michael Leuschel, University of Duesseldorf Johannes Mayer, University of Ulm Dirk Meyerhoff, Schueco International KG Ralf Reussner, University of Karlsruhe Ina Schieferdecker, Fraunhofer Institut for Open Communication Systems Franz Schweiggert, University of Ulm Andreas Spillner, University of Applied Sciences Bremen Andreas Ulrich, Siemens AG Joachim Wegener, DaimlerChrysler AG Heike Wehrheim, University of Paderborn Mario Winter, University of Applied Sciences Cologne Please do not hesitate to contact us by email motes06@stecc.de if you have any question or remarks.