MoDDeVa 2010



Call For Papers



Important Dates

Previous Editions




-- 03.09.2010 --
Workshop program is online

-- 07.07.2010 --
Submission deadline extended to the 16th of July

-- 24.06.2010 --
Submission site is open

-- 15.06.2010 --
Call for keynote topics

-- 10.06.2010 --
Call for papers

-- 23.05.2010 --
MoDeVVa site is online


Fotos of the workshop are online. Click here for download.

Start of MoDeVVa (09:00 - 10:00)

09:00 : Welcome + Foreword

09:05 : Keynote by Antti Huima.
Title : Model-Based Testing in Practice (Slides)
Abstract : Model-Based Testing has made successful transition from academic research to industrial applications. In this talk I review the evolution of MBT algorithms and applications and how modern, advanced MBT tools are used in the industry. I will cover some important methodology issues and open research problems, including the difference between tester models and systems models, finite-state versus infinite-state approaches, and testing of continuous systems.

Session 1: Transformation Verification (10:00 - 10:30) - Session chair: Levi Lúcio + Antti Huima

10:00 : Holger Giese, Stephan Hildebrandt and Leen Lambers. Toward Bridging the Gap Between Formal Semantics and Implementation of Triple Graph Grammars (Slides)

Morning Break (10:30 - 11:00)

Continuation of Session 1: Transformation Verification (11:00 - 12:30) - Session chair: Levi Lúcio + Antti Huima

11:00 : Vincent Aranega, Jean-Marie Mottu, Anne Etien and Jean-Luc Dekeyser. Using Traceability to Enhance Mutation Analysis Dedicated to Model Transformation (Slides)
11:30 : László Lengyel, István Madari and Tihamer Levendovszky. Validating Query/View/Transformation Relations (Slides)
12:00 : Amine Raji, Philippe Dhaussy and Bruno Aizier. Automating Context Description for Software Formal Verification (Slides)

Lunch (12:30 - 14:00)

Session 2: Modeling (14:00 - 15:30) - Session chair: Levi Lúcio

14:00 : Mark Asztalos, Péter Ekler, Laszlo Lengyel and Tihamer Levendovszky. MCDL: A Language for Specifying Graph Conditions with Attribute Constraints (Slides)
14:30 : Heiko Stallbaum and Mark Rzepka. Toward DO-178B-compliant Test Models (Slides)
15:00 : Lars Hamann and Martin Gogolla. Improving Model Quality by Validating Constraints with Model Unit Tests (Slides)

Afternoon Break (15:30 - 16:00)

Session 3: Model-Based Testing (16:00 - 17:00) - Session chair: Heiko Stallbaum

16:00 : Harald Cichos and Thomas S. Heinze. Efficient Reduction of Model-based Generated Test Suites through Test Case Pair Prioritization (Slides)
16:30 : Rickard Svenningsson, Henrik Eriksson, Jonny Vinter and Martin Törngren. Model-Implemented Fault Injection for Hardware Fault Simulation (Slides)

End of the Workshop