Fundamental Approaches to Software Engineering

20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

  • Marieke Huisman
  • Julia Rubin
Conference proceedings FASE 2017

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10202)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10202)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Learning and Inference

    1. Front Matter
      Pages 1-1
    2. Vajih Montaghami, Derek Rayside
      Pages 22-39
  3. Test Selection

    1. Front Matter
      Pages 41-41
    2. Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury
      Pages 43-59
    3. Ripon Saha, Milos Gligoric
      Pages 60-77
    4. Cristiano Werner Araújo, Ingrid Nunes, Daltro Nunes
      Pages 78-95
  4. Program and System Analysis

    1. Front Matter
      Pages 97-97
    2. Erik Krogh Kristensen, Anders Møller
      Pages 99-115
    3. Raymond Hu, Nobuko Yoshida
      Pages 116-133
    4. Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
      Pages 134-151
    5. Dimitar Asenov, Balz Guenat, Peter Müller, Martin Otth
      Pages 152-169
  5. Graph Modelling and Transformation

    1. Front Matter
      Pages 171-171
    2. Chris Alvin, Brian Peterson, Supratik Mukhopadhyay
      Pages 173-190
    3. Steffen Zschaler, Francisco Durán
      Pages 208-225
    4. Sven Schneider, Leen Lambers, Fernando Orejas
      Pages 226-243
  6. Model Transformations

    1. Front Matter
      Pages 245-245
    2. Zinovy Diskin, Abel Gómez, Jordi Cabot
      Pages 247-263
    3. Juan de Lara, Juri Di Rocco, Davide Di Ruscio, Esther Guerra, Ludovico Iovino, Alfonso Pierantonio et al.
      Pages 264-282
    4. Gabriele Taentzer, Manuel Ohrndorf, Yngve Lamo, Adrian Rutle
      Pages 283-299
  7. Configuration and Synthesis

    1. Front Matter
      Pages 319-319
    2. Noomene Ben Henda, Björn Johansson, Patrik Lantz, Karl Norrman, Pasi Saarinen, Oskar Segersvärd
      Pages 321-337
    3. Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia
      Pages 338-355
    4. Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
      Pages 356-373
    5. Adrián Riesco, Irina Măriuca Asăvoae, Mihail Asăvoae
      Pages 374-378
    6. Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte
      Pages 379-383
  8. Software Product Lines

    1. Front Matter
      Pages 385-385
    2. Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
      Pages 387-405
    3. Aleksandar S. Dimovski, Andrzej Wąsowski
      Pages 406-423
    4. Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
      Pages 424-441
  9. Back Matter
    Pages 443-444

About these proceedings


This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.

The 23 papers presented in this volume were carefully reviewed and selected from 91 submissions. They were organized in topical sections named: learning and inference; test selection; program and system analysis; graph modeling and transformation; model transformations; configuration and synthesis; and software product lines. 


software engineering computer software selection and evaluation debugging verification specification model checking semantics computer programming languages graph transformation model transformation requirements engineering software architectures system design system implementation software quality model-driven development domain-specific languages generative software software evolution

Editors and affiliations

  • Marieke Huisman
    • 1
  • Julia Rubin
    • 2
  1. 1.University of Twente EnschedeThe Netherlands
  2. 2.University of British Columbia VancouverCanada

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Germany 2017
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-662-54493-8
  • Online ISBN 978-3-662-54494-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site