Fundamental Approaches to Software Engineering

22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

  • Reiner Hähnle
  • Wil van der Aalst
Open Access
Conference proceedings
FASE 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xiii
  2. FASE Invited Talk

    1. Front Matter
      Pages 1-1
    2. Marsha Chechik, Rick Salay, Torin Viger, Sahar Kokaly, Mona Rahimi
      Pages 3-21 Open Access
  3. Software Verification I

    1. Front Matter
      Pages 23-23
    2. Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick Kourie, Bruce W. Watson
      Pages 25-42 Open Access
    3. Joonyoung Park, Alexander Jordan, Sukyoung Ryu
      Pages 43-60 Open Access
    4. Min Zhang, Fu Song, Frédéric Mallet, Xiaohong Chen
      Pages 61-78 Open Access
    5. Rolf Hennicker, Alexandre Madeira, Alexander Knapp
      Pages 79-97 Open Access
  4. Model-Driven Development and Model Transformation

    1. Front Matter
      Pages 99-99
    2. Philip Zweihoff, Stefan Naujokat, Bernhard Steffen
      Pages 101-115 Open Access
    3. Lars Fritsche, Jens Kosiol, Andy Schürr, Gabriele Taentzer
      Pages 116-133 Open Access
    4. Sven Schneider, Leen Lambers, Fernando Orejas
      Pages 151-167 Open Access
  5. Software Verification II

    1. Front Matter
      Pages 169-169
    2. Hasan Ferit Eniser, Simos Gerasimou, Alper Sen
      Pages 171-191 Open Access
    3. Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski
      Pages 192-209 Open Access
    4. Himanshu Arora, Raghavan Komondoor, G. Ramalingam
      Pages 228-243 Open Access
  6. Software Evolution and Requirements Engineering

    1. Front Matter
      Pages 245-245
    2. Lawton Nichols, Mehmet Emre, Ben Hardekopf
      Pages 247-263 Open Access
    3. Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan Selim, Curtis Milo et al.
      Pages 264-281 Open Access
    4. Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider
      Pages 282-298 Open Access
    5. Jiaqi Qian, Min Zhang, Yi Wang, Kazuhiro Ogata
      Pages 299-305 Open Access
    6. Aivo Toots, Reedik Tuuling, Maksym Yerokhin, Marlon Dumas, Luciano García-Bañuelos, Peeter Laud et al.
      Pages 306-312 Open Access
  7. Specification, Design, and Implementation of Particular Classes of Systems

    1. Front Matter
      Pages 313-313
    2. Chao Peng, Ajitha Rajan
      Pages 315-331 Open Access
    3. Nikolaos Bezirgiannis, Frank de Boer, Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa
      Pages 332-350 Open Access
    4. Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro
      Pages 351-368 Open Access
    5. Paul Dubrulle, Christophe Gaston, Nikolai Kosmatov, Arnault Lapitre, Stéphane Louise
      Pages 369-385 Open Access
  8. Software Testing

    1. Front Matter
      Pages 387-387
    2. Dirk Beyer, Marie-Christine Jakobs
      Pages 389-408 Open Access
    3. Open image in new window: Priority Aware Test Case Reduction
      Golnaz Gharachorlu, Nick Sumner
      Pages 409-426 Open Access
    4. Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias
      Pages 427-444 Open Access
  9. Back Matter
    Pages 445-446

About these proceedings


This book is Open Access under a CC BY licence.


formal logic model checking model-driven development program compilers program debugging programming languages requirements engineering semantics software architecture software engineering software evaluation software evolution software system models specifications theorem proving

Editors and affiliations

  1. 1.Technische Universität DarmstadtDarmstadtGermany
  2. 2.RWTH Aachen UniversityAachenGermany

Bibliographic information

  • DOI
  • Copyright Information The Editor(s) (if applicable) and The Author(s) 2019
  • License CC BY
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-030-16721-9
  • Online ISBN 978-3-030-16722-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site