News
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
Program
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)