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

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
  • 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