Fundamental Approaches to Software Engineering

18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

  • Alexander Egyed
  • Ina Schaefer

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

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

Table of contents

  1. Front Matter
    Pages 1-12
  2. Models and Synthesis

    1. Front Matter
      Pages 1-1
    2. Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer
      Pages 3-18
    3. Abel Gómez, Massimo Tisi, Gerson Sunyé, Jordi Cabot
      Pages 19-34
    4. Emil Andriescu, Thierry Martinez, Valérie Issarny
      Pages 35-50
  3. Testing and Fault Localization

    1. Front Matter
      Pages 67-67
    2. Seema Jehan, Ingo Pill, Franz Wotawa
      Pages 69-83
    3. Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel et al.
      Pages 84-99
    4. Mike Czech, Marie-Christine Jakobs, Heike Wehrheim
      Pages 100-114
    5. David Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis
      Pages 115-129
  4. Modeling

    1. Front Matter
      Pages 131-131
    2. Rick Salay, Marsha Chechik
      Pages 133-148
    3. Davide Arcelli, Vittorio Cortellessa, Catia Trubiani
      Pages 149-164
    4. Kristopher Born, Thorsten Arendt, Florian Heß, Gabriele Taentzer
      Pages 165-168
  5. Verification

    1. Front Matter
      Pages 169-169
    2. Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
      Pages 171-185
    3. Grigory Fedyukovich, Andrea Callia D’Iddio, Antti E. J. Hyvärinen, Natasha Sharygina
      Pages 186-201
    4. Stefan Blom, Saeed Darabi, Marieke Huisman
      Pages 202-217
    5. Carolina Dania, Manuel Clavel
      Pages 218-232

About these proceedings

Introduction

This book constitutes the proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering, FASE 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.

The 22 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 80 submissions. They are organized in topical sections named: models and synthesis; testing and fault localization; modeling; verification; modeling and adaptation; and applications.

Keywords

SMT solvers assertion checking automated test generation model checking model-driven development quantitative verification regression testing self-adaptation software adaptation software and its engineering software applications software creation and management software fault localization software modelling software notations and tools software organization and properties software testing software validation software verification very large models

Editors and affiliations

  • Alexander Egyed
    • 1
  • Ina Schaefer
    • 2
  1. 1.Johannes Kepler UniversityLinzAustria
  2. 2.Technische Universität BraunschweigBraunschweigGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-46675-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-46674-2
  • Online ISBN 978-3-662-46675-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book