9:10 – 10:30

14:00 – 14:10

Welcome

14:10 – 15:30

15:30 – 16:00

Coffee break

16:00 – 18:00

Session 1: Model transformation testing
Chair: Ed Willink

• Martin Wieber, Anthony Anjorin and Andy Schürr. On the Usage of TGGs for Automated Model Transformation Testing

• Atif Aftab Jilani, Muhammad Zohaib Iqbal and Muhammad Uzair Khan. A Search-based Test Data Generation Approach for Model Transformations

• Carlos A. González and Jordi Cabot. Test Data Generation for Model Transformations Combining Partition and Constraint Analysis

• Jokin García, Maider Azanza, Arantza Irastorza and Oscar Diaz. Testing MOFScript transformations with HandyMOF

09:10 – 10:30

ICGT Keynote:
Giorgio Delzanno

10:30 – 11:00

Coffee break

Session 2: Foundations of model synchronization
(Joint  session with ICGT – ICMT Papers)
Chair: Haiyan Zhao

• Zinovy Diskin, Arif Wider, Hamid Gholizadeh and Krzysztof Czarnecki. A Taxonomic Space for Increasingly Symmetric Model Synchronization

• Fernando Orejas and Elvira Pino. Correctness of Incremental Model Synchronization with Triple Graph Grammars

• Huseyin Ergin and Eugene Syriani. Towards A Language To Express Design Patterns for Graph-Based Model Transformation

12:30 – 14:00

Lunch

14:00-15:30

Session 3: Applications of model synchronization
(Joint session with ICGT – ICMT Papers)
Chair: Eugene Syriani

• Dominique Blouin, Alain Plantec, Frank Singhoff, Pierre Dissaux and Jean-Philippe Diguet. Synchronization of Models of Large Meta-Models with Triple Graph Grammars: an Experience Report

• Frank Hermann, Susann Gottmann, Nico Nachtigall, Hartmut Ehrig, Benjamin Braatz, Gianluigi Morelli, Alain Pierre, Thomas Engel and Claudia Ermel. Triple Graph Grammars in the Large for Translating Satellite Procedures

• Erhan Leblebici, Anthony Anjorin and Andy Schürr. Developing eMoflon with eMoflon

15:30 – 16:00

Coffee break

16:00-18:00

Session 4: Tracing and Reverse Engineering of Model Transformations
Chair: Dimitris Kolovos

• Victor Guana and Eleni Stroulia. ChainTracker: a model-transformation trace analysis tool for code-generation environments

• Pablo Inostroza, Tijs van der Storm and Sebastian Erdweg. Tracing Program Transformations with String Origins

• Frank Hilken, Lars Hamann and Martin Gogolla. Transformation of UML and OCL Models into Filmstrip Models

• Jesús Sánchez Cuadrado, Esther Guerra and Juan De Lara. Reverse Engineering of Model Transformations for Reusability

09:10 – 10:30

Coffee break

Session 5: Meta-Modelling and Model Transformations
(Joint session with ICGT – ICGT Papers)
Chair: Holger Giese

• Thorsten Arendt, Annegret Habel, Hendrik Radke and Gabriele Taentzer. From Core OCL Invariants to Nested Graph Constraints

• Gehan M. K. Selim, Levi Lucio, James R. Cordy, Juergen Dingel and Bentley J. Oakes. Specification and Verification of Graph-Based Model Transformation Properties

• Anthony Anjorin, Erhan Leblebici, Andy Schürr and Gabriele Taentzer. A Static Analysis of Non-Confluent Triple Graph Grammars for Efficient Model Transformation