| Vol-1104 urn:nbn:de:0074-1104-7 Copyright © 2013 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# MDEBE 2013
Model-driven Engineering By Example

### Proceedings of the First International Workshop on Model-driven Engineering By Example
co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013)

### Miami, Florida, USA, September 29, 2013.

Edited by

### Marouane Kessentini 1
Philip Langer 2
Houari Sahraoui 3

1. University of Michigan, USA
2. Vienna University of Technology, Austria
3. University of Montreal, Canada

## Table of Contents

- Preface
- Tackling Model-Based Software Testing and Verification as a Search Problem (keynote abstract) 1
  Lionel C. Briand
- Applying MTBE Manually: a Method and an Example 2-11
  Fábio Levy Siqueira, Paulo Sérgio Muniz Silva
- Enabling Model Recommenders for Command-Enabled Editors 12-21
  Andrej Dyck, Andreas Ganser, Horst Lichter
- Generating Metamodels from Grammars by Chaining Translational and By-Example Techniques 22-31
  Alexander Bergmayr, Manuel Wimmer
- Example-Driven Modeling using Clafer 32-41
  Michał Antkiewicz, Kacper Bąk, Krzysztof Czarnecki, Zinovy Diskin, Dina Zayan, Andrzej Wąsowski
- Test Cases Generation for Model Transformations from Structural Information 42-51
  Wenquan Wang, Marouane Kessentini, Wei Jiang

2013-12-04: submitted by Philip Langer
2013-12-05: published on CEUR-WS.org |valid HTML5|