Thursday, December 18, 2014

MBT 2015 10th Workshop on Model-Based Testing

MBT 2015
10th Workshop on Model-Based Testing
April 18, 2015, London, UK

Satellite workshop of ETAPS 2015


*MBT workshop 2015 celebrates its 10th anniversary. We invite you to *
*join academicians and MBT practitioners to share the *
*vision of the challenges that MBT faces, new directions in model-based *
*verification and testing, and the ways to integrate MBT and advanced *
*verification techniques in engineering and industrial practice.*

The workshop is devoted to model-based testing of both software and
hardware. Model-based testing uses models describing the required behavior
of the system under consideration to guide such efforts as test selection
and test results evaluation. Testing validates the real system behavior
against models and checks that the implementation conforms to them, but is
capable also to find errors in the models themselves.

Model-based testing has gained attention with the popularization of models
in software/hardware design and development. Of particular importance are
formal models with precise semantics, such as state-based formalisms,
algebraic specifications, or other mathematical descriptions of possible
system behavior. Testing with such models allows one to detect subtle bugs
and at the same time to measure the degree of the product's conformance with
the model. Recently model-based testing get particular importance in such
domains as security testing and testing of hybrid systems due to their
inherent complexity.

Techniques to support model-based testing are drawn from diverse areas, like
deductive verification, model checking, constraint solving, control and data
flow analysis, grammar analysis, Markov processes, etc.

The intent of this workshop is to bring together researchers and users of
model-based testing techniques and tools to discuss the state of the art in
theory, applications, tools, and industrialization of model-based testing
and related domains.

The workshop proceedings will appear in EPTCS.


Original submissions are solicited from representatives of both industry and
academia. They are invited to present their work, plans, and views related
to model-based testing. The topics of interest include but are not limited

* Online and offline test sequence generation methods and tools
* Test data selection methods and tools
* Model-based test coverage metrics
* Automatic domain/partition analysis
* Combination of formal verification and testing
* Test oracle construction techniques
* Scenario based test generation
* Language/technology support for testing, domain-specific testing languages
* Formalisms and theories of model-based testing
* Using high-level models (in SysML, AADL, etc.) for testing
* Runtime verification and model-based testing
* Application of model checking techniques in testing
* Use of constraint solving and constraint inference in testing
* Game-theoretic and probabilistic approaches to test selection
* Model-based security testing, testing of other non-functional requirements
* Model-based testing of hybrid and cyber-physical systems
* Model-based testing of product lines
* Problems and achievements of model-based testing in industry

Positional papers on advances in model-based testing, verification,
modelling of software systems are higly appreciated.


Paper submissions: December 31, 2014
Notification of acceptance: January 23, 2015
Final versions: February 6, 2015


Research papers should be limited to 15 pages in EPTCS format, describing
significant research results based on sound theory or experimental

We also solicit industry experience papers and presentations on the use of
model-based testing in industrial environments and analysis of results
obtained. Industrial papers should be limited to 15 pages. Industrial
presentations may be submitted as annotations only.

Paper submission is now open at


Alexander Petrenko (ISPRAS)
Holger Schlingloff (Institut für Informatik)
Nikolay Pakulin (ISPRAS)

Mika Katara (Intel Finland Oy)
Philipp Helle (EADS Deutschland GmbH)
Victor Kuliamin (Institute for System Programming, Russian Academy of
Alexander Kosachev (Institute for System Programming, Russian Academy of
Fabien Peureux (Institut FEMTO-ST (UMR CNRS 6174) and Smartesting)
Bruno Legeard (Smartesting)
Stephan Weissleder (Thales Deutschland)
Alexandre Petrenko (CRIM)
Jonathan P. Bowen (Birmingham City University)
Jan Peleska (TZI, Universitat Bremen, Germany)
Julien Schmaltz (Open University of the Netherlands)
Bernhard K. Aichernig (TU Graz)
John Derrick (Unversity of Sheffield)
Lars Frantzen (Radboud University Nijmegen)
Mounier Laurent (VERIMAG)
Bruno Marre (CEA LIST)
Nina Yevtushenko (Tomsk State University)

No comments: