Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Alexander Egyed

    1. Johannes Kepler University, Linz, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ina Schaefer

    1. Technische Universität Braunschweig, Braunschweig, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: FASE 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Pages 1-12
    Download chapter PDF

  2. Models and Synthesis

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. An Institution for Simple UML State Machines

      • Alexander Knapp, Till Mossakowski, Markus Roggenbach, Martin Glauer
      Pages 3-18

    3. Map-Based Transparent Persistence for Very Large Models

      • Abel Gómez, Massimo Tisi, Gerson Sunyé, Jordi Cabot
      Pages 19-34

    4. Composing Message Translators and Inferring Their Data Types Using Tree Automata

      • Emil Andriescu, Thierry Martinez, Valérie Issarny
      Pages 35-50

    5. On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications

      • Christian Brenner, Joel Greenyer, Wilhelm Schäfer
      Pages 51-65

  3. Testing and Fault Localization

    1. Front Matter

      Pages 67-67
      Download chapter PDF

    2. BPEL Integration Testing

      • Seema Jehan, Ingo Pill, Franz Wotawa
      Pages 69-83

    3. Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines

      • Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel et al.
      Pages 84-99

    4. Just Test What You Cannot Verify!

      • Mike Czech, Marie-Christine Jakobs, Heike Wehrheim
      Pages 100-114

    5. Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme

      • David Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis
      Pages 115-129

  4. Modeling

    1. Front Matter

      Pages 131-131
      Download chapter PDF

    2. A Generalized Formal Framework for Partial Modeling

      • Rick Salay, Marsha Chechik
      Pages 133-148

    3. Performance-Based Software Model Refactoring in Fuzzy Contexts

      • Davide Arcelli, Vittorio Cortellessa, Catia Trubiani
      Pages 149-164

    4. Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin

      • Kristopher Born, Thorsten Arendt, Florian Heß, Gabriele Taentzer
      Pages 165-168

  5. Verification

    1. Front Matter

      Pages 169-169
      Download chapter PDF

    2. Translation Validation for Clock Transformations in a Synchronous Compiler

      • Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
      Pages 171-185

    3. Symbolic Detection of Assertion Dependencies for Bounded Model Checking

      • Grigory Fedyukovich, Andrea Callia D’Iddio, Antti E. J. Hyvärinen, Natasha Sharygina
      Pages 186-201

    4. Verification of Loop Parallelisations

      • Stefan Blom, Saeed Darabi, Marieke Huisman
      Pages 202-217

    5. Model-Based Formal Reasoning about Data-Management Applications

      • Carolina Dania, Manuel Clavel
      Pages 218-232
Back to top

Other volumes

  1. Fundamental Approaches to Software Engineering

Keywords

About this book

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.

Editors and Affiliations

  • Johannes Kepler University, Linz, Austria

    Alexander Egyed

  • Technische Universität Braunschweig, Braunschweig, Germany

    Ina Schaefer

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation