Preface

The goal of the Doctoral Symposium at STAF 2017 at Marburg was to provide a forum in which PhD
students could present their work in progress. The symposium supported students by providing
independent and constructive feedback about their already completed and, more importantly,
planned research work. The symposium was accompanied by prominent experts who were actively
participating in critical discussions. Relevant fields within Software Engineering included:
 ▪ Models: reasoning, execution, management, testing and validation
 ▪ Model transformations: paradigms, algorithms, development, applications, tools
 ▪ Graph transformation and graph theories
 ▪ Domain Specific Languages
 ▪ Proofs and Testing: verification, debugging, experiments, case studies
 ▪ Model-Driven Engineering

The Program Committee members of the event (that contributed with the selection of the submitted
papers and/or to physically provide feedback to the students during the event) were the following:

▪   Nelly Bencomo, Aston University, UK
▪   Marsha Chechik, University of Toronto, Canada
▪   Juan De Lara, Universidad Autonoma de Madrid, Spain
▪   Catherine Dubois, ENSIIE-Samovar, France
▪   Martin Gogolla, University of Bremen, Germany
▪   Jeff Gray, University of Alabama, USA
▪   Reiko Heckel, University of Leicester, UK
▪   Gerti Kappel, Vienna University of Technology, Austria
▪   Dimitris Kolovos, University of York, UK
▪   Daniel Varro, Budapest University of Technology and Economics, Hungary

The organizers would like to thank the PC members who actively participated in the discussion. The
participating students also asked questions and gave constructive feedback to the other PhD
candidates, which are also acknowledged.



October 2017



                                                     Davide Di Ruscio, University of L’Aquila (Italy)
                                           Barbara Koenig, University of Duisburg-Essen (Germany)