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

# MODELS-SRC 2015
ACM Student Research Competition MODELS 2015

### Proceedings of the ACM Student Research Competition at MODELS 2015
co-located with the ACM/IEEE 18th International Conference MODELS 2015

### Ottawa, Canada, September 29, 2015.

Edited by

### Mira Balaban *
Martin Gogolla +

* Ben-Gurion University, Computer Science Department, Beer-Sheva, Israel
+ University of Bremen, Computer Science Department, Bremen, Germany

## Table of Contents

- Preface

- Generating Examples for Knowledge Abstraction in MDE: a Multi-Objective Framework 1-6
  Edouard Batot
- Testing M2M/M2T/T2M Transformations 7-12
  Loli Burgueno
- Automated Metamodel/Model Co-Evolution using a Multi-Objective Optimization Approach 13-18
  Wael Kessentini
- Change-driven Incremental Symbolic Execution of Evolving State Machines 19-23
  Amal Khalil
- Explicitly Modelling Model Debugging Environments 24-29
  Simon van Mierlo
- Generating Model with Uncertainty by Means of JTL 30-34
  Gianni Rosa
- Architectural and Analytic Integration of Cyber-Physical System Models 35-40
  Ivan Ruchkin
- Model-Based Reuse of APIs using Concern-Orientation 41-45
  Matthias Schoettle
- Automatic Generation of Transformations for Software Process Tailoring 46-51
  Luis Silvestre
- Foundations of a Multi-Paradigm Modelling Tool 52-57
  Yentl van Tendeloo
- A Behavioral Programming Approach to Search Based Software Engineering 58-63
  Moshe Weinstock

2015-11-05: submitted by Martin Gogolla, metadata incl. bibliographic data published under Creative Commons CC0
2015-11-06: published on CEUR-WS.org |valid HTML5|