<div dir="ltr"><div style="font-size:13px">Please, accept our apologies if you receive multiple copies of this Call for Papers.</div><div style="font-size:13px"><b><br></b></div><div style="font-size:13px"><b>The deadline for Model-based testing Workshop was extended until December 31.</b></div><div style="font-size:13px"><br></div><div style="font-size:13px">MBT 2015</div><div style="font-size:13px">10th Workshop on Model-Based Testing</div><div style="font-size:13px">April 18, 2015, London, UK</div><div style="font-size:13px"><a href="http://mbt-workshop.org/" target="_blank">http://mbt-workshop.org/</a></div><div style="font-size:13px"><br></div><div style="font-size:13px">Satellite workshop of ETAPS 2015</div><div style="font-size:13px"><br></div><div style="font-size:13px">CALL FOR PAPERS</div><div style="font-size:13px"><br></div><div style="font-size:13px"><b>MBT workshop 2015 celebrates its 10th anniversary. We invite you to </b></div><div style="font-size:13px"><b>join academicians and MBT practitioners to share the </b></div><div style="font-size:13px"><b>vision of the challenges that MBT faces, new directions in model-based </b></div><div style="font-size:13px"><b>verification and testing, and the ways to integrate MBT and advanced </b></div><div style="font-size:13px"><b>verification techniques in engineering and industrial practice.</b></div><div style="font-size:13px"><br></div><div style="font-size:13px">The workshop is devoted to model-based testing of both software and</div><div style="font-size:13px">hardware. Model-based testing uses models describing the required behavior</div><div style="font-size:13px">of the system under consideration to guide such efforts as test selection</div><div style="font-size:13px">and test results evaluation. Testing validates the real system behavior</div><div style="font-size:13px">against models and checks that the implementation conforms to them, but is</div><div style="font-size:13px">capable also to find errors in the models themselves.</div><div style="font-size:13px"><br></div><div style="font-size:13px">Model-based testing has gained attention with the popularization of models</div><div style="font-size:13px">in software/hardware design and development. Of particular importance are</div><div style="font-size:13px">formal models with precise semantics, such as state-based formalisms,</div><div style="font-size:13px">algebraic specifications, or other mathematical descriptions of possible</div><div style="font-size:13px">system behavior. Testing with such models allows one to detect subtle bugs</div><div style="font-size:13px">and at the same time to measure the degree of the product&#39;s conformance with</div><div style="font-size:13px">the model. Recently model-based testing get particular importance in such</div><div style="font-size:13px">domains as security testing and testing of hybrid systems due to their</div><div style="font-size:13px">inherent complexity.</div><div style="font-size:13px"><br></div><div style="font-size:13px">Techniques to support model-based testing are drawn from diverse areas, like</div><div style="font-size:13px">deductive verification, model checking, constraint solving, control and data</div><div style="font-size:13px">flow analysis, grammar analysis, Markov processes, etc.</div><div style="font-size:13px"><br></div><div style="font-size:13px">The intent of this workshop is to bring together researchers and users of</div><div style="font-size:13px">model-based testing techniques and tools to discuss the state of the art in</div><div style="font-size:13px">theory, applications, tools, and industrialization of model-based testing</div><div style="font-size:13px">and related domains.</div><div style="font-size:13px"><br></div><div style="font-size:13px">The workshop proceedings will appear in EPTCS.</div><div style="font-size:13px"><br></div><div style="font-size:13px">SUBMISSION TOPICS</div><div style="font-size:13px"><br></div><div style="font-size:13px">Original submissions are solicited from representatives of both industry and</div><div style="font-size:13px">academia. They are invited to present their work, plans, and views related</div><div style="font-size:13px">to model-based testing. The topics of interest include but are not limited</div><div style="font-size:13px">to:</div><div style="font-size:13px"><br></div><div style="font-size:13px">* Online and offline test sequence generation methods and tools</div><div style="font-size:13px">* Test data selection methods and tools</div><div style="font-size:13px">* Model-based test coverage metrics</div><div style="font-size:13px">* Automatic domain/partition analysis</div><div style="font-size:13px">* Combination of formal verification and testing</div><div style="font-size:13px">* Test oracle construction techniques</div><div style="font-size:13px">* Scenario based test generation</div><div style="font-size:13px">* Language/technology support for testing, domain-specific testing languages</div><div style="font-size:13px">* Formalisms and theories of model-based testing</div><div style="font-size:13px">* Using high-level models (in SysML, AADL, etc.) for testing</div><div style="font-size:13px">* Runtime verification and model-based testing</div><div style="font-size:13px">* Application of model checking techniques in testing</div><div style="font-size:13px">* Use of constraint solving and constraint inference in testing</div><div style="font-size:13px">* Game-theoretic and probabilistic approaches to test selection</div><div style="font-size:13px">* Model-based security testing, testing of other non-functional requirements</div><div style="font-size:13px">* Model-based testing of hybrid and cyber-physical systems</div><div style="font-size:13px">* Model-based testing of product lines</div><div style="font-size:13px">* Problems and achievements of model-based testing in industry</div><div style="font-size:13px"><br></div><div style="font-size:13px">Positional papers on advances in model-based testing, verification, </div><div style="font-size:13px">modelling of software systems are higly appreciated.</div><div style="font-size:13px"><br></div><div style="font-size:13px">IMPORTANT DATES</div><div style="font-size:13px"><br></div><div style="font-size:13px">Paper submissions: December 31, 2014</div><div style="font-size:13px">Notification of acceptance: January 23, 2015</div><div style="font-size:13px">Final versions: February 6, 2015</div><div style="font-size:13px"><br></div><div style="font-size:13px">PAPER SUBMISSION</div><div style="font-size:13px"><br></div><div style="font-size:13px">Research papers should be limited to 15 pages in EPTCS format, describing</div><div style="font-size:13px">significant research results based on sound theory or experimental</div><div style="font-size:13px">assessment.</div><div style="font-size:13px"><br></div><div style="font-size:13px">We also solicit industry experience papers and presentations on the use of</div><div style="font-size:13px">model-based testing in industrial environments and analysis of results</div><div style="font-size:13px">obtained. Industrial papers should be limited to 15 pages. Industrial</div><div style="font-size:13px">presentations may be submitted as annotations only.</div><div style="font-size:13px"><br></div><div style="font-size:13px">Paper submission is now open at</div><div style="font-size:13px"><a href="http://www.easychair.org/conferences/?conf=mbt2015" target="_blank">http://www.easychair.org/conferences/?conf=mbt2015</a></div><div style="font-size:13px"><br></div><div style="font-size:13px">PROGRAM COMMITTEE</div><div style="font-size:13px"><br></div><div style="font-size:13px">Alexander <span>Petrenko</span> (ISPRAS)</div><div style="font-size:13px">Holger Schlingloff (Institut für Informatik)</div><div style="font-size:13px">Nikolay Pakulin (ISPRAS)</div><div style="font-size:13px">  </div><div style="font-size:13px">Mika Katara (Intel Finland Oy)</div><div style="font-size:13px">Philipp Helle (EADS Deutschland GmbH)</div><div style="font-size:13px">Victor Kuliamin (Institute for System Programming, Russian Academy of Sciences)</div><div style="font-size:13px">Alexander Kosachev (Institute for System Programming, Russian Academy of Sciences)</div><div style="font-size:13px">Fabien Peureux (Institut FEMTO-ST (UMR CNRS 6174) and Smartesting)</div><div style="font-size:13px">Bruno Legeard (Smartesting)</div><div style="font-size:13px">Stephan Weissleder (Thales Deutschland)</div><div style="font-size:13px">Alexandre <span>Petrenko</span> (CRIM)</div><div style="font-size:13px">Jonathan P. Bowen (Birmingham City University)</div><div style="font-size:13px">Jan Peleska (TZI, Universitat Bremen, Germany)</div><div style="font-size:13px">Julien Schmaltz (Open University of the Netherlands)</div><div style="font-size:13px">Bernhard K. Aichernig (TU Graz)</div><div style="font-size:13px">John Derrick (Unversity of Sheffield)</div><div style="font-size:13px">Lars Frantzen (Radboud University Nijmegen)</div><div style="font-size:13px">Mounier Laurent (VERIMAG)</div><div style="font-size:13px">Bruno Marre (CEA LIST)</div><div style="font-size:13px">Nina Yevtushenko (Tomsk State University)</div></div>