Fundamental Approaches to Software Engineering

19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings

  • Perdita Stevens
  • Andrzej Wąsowski
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9633)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Keynote Paper

    1. Front Matter
      Pages 1-1
    2. Oscar Nierstrasz
      Pages 3-10
  3. Concurrent and Distributed Systems

    1. Front Matter
      Pages 11-11
    2. Samik Basu, Tevfik Bultan
      Pages 13-30
    3. Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
      Pages 31-48
    4. Jia-Chun Lin, Ingrid Chieh Yu, Einar Broch Johnsen, Ming-Chang Lee
      Pages 49-65
    5. Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine
      Pages 66-83
  4. Model-Driven Development

    1. Front Matter
      Pages 85-85
    2. Oszkár Semeráth, András Vörös, Dániel Varró
      Pages 87-103
    3. Csaba Debreceni, István Ráth, Dániel Varró, Xabier De Carlos, Xabier Mendialdua, Salvador Trujillo
      Pages 104-121
    4. Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer, Jennifer Plöger
      Pages 122-140
    5. Xabier De Carlos, Goiuria Sagardui, Salvador Trujillo
      Pages 141-157
    6. Markus Weckesser, Malte Lochau, Thomas Schnabel, Björn Richerzhagen, Andy Schürr
      Pages 158-175
  5. Analysis and Bug Triaging

    1. Front Matter
      Pages 177-177
    2. Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
      Pages 179-196
    3. Pauline Bolignano, Thomas Jensen, Vincent Siles
      Pages 214-230
    4. Ali Sajedi Badashian, Abram Hindle, Eleni Stroulia
      Pages 231-248
  6. Probabilistic and Stochastic Systems

    1. Front Matter
      Pages 249-249

About these proceedings


This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.
The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They were organized in topical sections named: concurrent and distributed systems; model-driven development; analysis and bug triaging; probabilistic and stochastic systems; proof and theorem proving; and verification. 


Complex networks Model checking Semantics Software evolution Software verification Automated static analysis Cloud-based systems Debugging Domain-specific languages Formal language definitions Formal software verification Logic solvers Model driven development Model generation Modeling Modularity Run-time errors Software product lines Software testing Theorem proving

Editors and affiliations

  • Perdita Stevens
    • 1
  • Andrzej Wąsowski
    • 2
  1. 1.University of EdinburghEdinburghUK
  2. 2.IT University of CopenhagenCopenhagenDenmark

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2016
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-49664-0
  • Online ISBN 978-3-662-49665-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book