Preface

This volume contains the proceedings of the Seventh Workshop on Model-Based Testing (MBT 2012), which was held on March 25, 2012 as a satellite workshop of the European Joint Conferences on Theory and Practice of Software (ETAPS 2012).

The first workshop on Model-Based Testing (MBT) in this series took place in 2004, in Barcelona. At that time MBT already had become a hot topic, but the MBT 2004 workshop was the first event devoted exclusively to this topic. Since that time the area has generated enormous scientific interest, and today there are several specialized workshops and more broad conferences on software and hardware design and quality assurance covering model based testing. For example, in 2011 ETSI has started the MBT-UC (model-based testing user conference) series that considers problems of the application and effective use of MBT in business. Still, the MBT series of workshops offers a unique opportunity to share new technological and foundational ideas, and to bring together researchers and users of model-based testing to discuss the state of the theory, applications, tools, and industrialization.

Model-based testing has become one of the most powerful system analysis tools, where the range of possible applications is still growing. Currently, we see the following main directions of MBT development.

• Integration of model-based testing techniques with various other
  analysis techniques; in particular, integration with static analysis and
  other verification methods.
• Use of new notations and new kinds of models (like models of
  business processes in BPMN or BPL) along with the elaboration of
  approaches based on usual programming languages and specialized
  libraries (like CodeContracts for .NET).
• Integration of MBT tools into continuous development environments
  and application lifecycle management toolchains.

The contributions in this volume reflect these current trends. To quote just a few contributions, Danel Ahman and Marko Kääramees show how to use I/O automata for online test generation. Bernhard Aichernig and Elisabeth Jöbstl report on the combination of reachability and refinement checking. Maximiliano Cristia and Claudia Frydman apply SMT solvers to the test generation problem. Dirk Richter and Christian Berg investigate code coverage metrics for ISO-C. Teemu Kanstrén and Olli-Pekka Puolitaival use domain-specific languages for model-based testing.

In 2012 the "industrial paper" category was added to the program, and two industrial papers were accepted by the program committee. Dimitry Polivaev use mind maps in rule-based test generation. Yevgeny Gerlits and Alexey Khoroshilov report on a case study with a safety-critical realtime controller.

We would like to thank the program committee members and all reviewers for their work in evaluating the submissions. We also thank the ETAPS 2012 organizers for their significant assistance in the preparation of the workshop.

Alexander K. Petrenko and Holger Schlingloff, February 2012.

Program committee

• Bernhard Aichernig (Graz University of Technology, Austria)
• Jonathan Bowen (University of Westminster, UK)
• Mirko Conrad (The MathWorks GmbH, Germany)
• John Derrick (University of Sheffield, UK)
• Bernd Finkbeiner (Universität des Saarlandes, Germany)
• Patrice Godefroid (Microsoft Research, USA)
• Wolfgang Grieskamp (Google, USA)
• Ziyad Hanna (Jasper Design Automation, USA)
• Philipp Helle (EADS, Germany)
• Antti Huima (Conformiq Software Ltd., Finland)
• Mika Katara (Tampere University of Technology, Finland)
• Alexander S. Kossatchev (ISP RAS, Russia)
• Andres Kull (Elvior, Estonia)
• Mounier Laurent (VERIMAG, France)
• Bruno Legeard (Smartesting, France)
• Bruno Marre (CEA LIST, France)
• Alexander K. Petrenko (Institute for System Programming Russian Academy of Sciences, Russia)
• Alexandre Petrenko (Computer Research Institute of Montreal, Canada)
• Fabien Peureux (University of Franche-Comté, France)
• Holger Schlingloff (Fraungofer FIRST, Germany)
• Nikolai Tillmann (Microsoft Research, USA)
• Jan Tretmans (Embedded Systems Institute, The Netherlands)
• Nina Yevtushenko (Tomsk State University, Russia)

Additional reviewers

• Maxim Gromov
• Antti Jääskeläinen
• Elisabeth Jöbstl
• Markus Rabe
• Matti Vuori