Fundamental Approaches to Software Engineering

17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

  • Stefania Gnesi
  • Arend Rensink
Conference proceedings FASE 2014

DOI: 10.1007/978-3-642-54804-8

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

Table of contents (29 papers)

  1. Front Matter
  2. Invited Paper

    1. Probabilistic Model Checking and Non-standard Multi-objective Reasoning
      Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker et al.
      Pages 1-16
  3. Modelling and Model Transformation

    1. Target Oriented Relational Model Finding
      Alcino Cunha, Nuno Macedo, Tiago Guimarães
      Pages 17-31
    2. Splitting Models Using Information Retrieval and Model Crawling Techniques
      Daniel Struber, Julia Rubin, Gabriele Taentzer, Marsha Chechik
      Pages 47-62
    3. Sound Merging and Differencing for Class Diagrams
      Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wąsowski
      Pages 63-78
  4. Time and Performance

    1. Heterogeneous and Asynchronous Networks of Timed Systems
      José Luis Fiadeiro, Antónia Lopes
      Pages 79-93
    2. Family-Based Performance Analysis of Variant-Rich Software Systems
      Matthias Kowal, Ina Schaefer, Mirco Tribastone
      Pages 94-108
  5. Static Analysis

    1. TouchCost: Cost Analysis of TouchDevelop Scripts
      Pietro Ferrara, Daniel Schweizer, Lucas Brutschy
      Pages 109-124
    2. Efficient Incremental Static Analysis Using Path Abstraction
      Rashmi Mudduluru, Murali Krishna Ramanathan
      Pages 125-139
    3. Type-Based Taint Analysis for Java Web Applications
      Wei Huang, Yao Dong, Ana Milanova
      Pages 140-154
  6. Scenario-Based Specification

  7. Software Verification

    1. Formal Verification of Medical Device User Interfaces Using PVS
      Paolo Masci, Yi Zhang, Paul Jones, Paul Curzon, Harold Thimbleby
      Pages 200-214
    2. Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs
      Pedro de Carvalho Gomes, Attilio Picoco, Dilian Gurov
      Pages 215-229
    3. Verifying Class Invariants in Concurrent Programs
      Marina Zaharieva-Stojanovski, Marieke Huisman
      Pages 230-245
  8. Analysis and Repair

    1. Automatic Program Repair by Fixing Contracts
      Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
      Pages 246-260
    2. Dynamic Package Interfaces
      Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey
      Pages 261-275
  9. Verification and Validation

    1. SMT-Based Checking of SOLOIST over Sparse Traces
      Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srđan Krstić, Pierluigi San Pietro
      Pages 276-290

About these proceedings


This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this volume, together with one invited talk, were carefully reviewed and selected from 125 submissions. They have been organized in topical sections on: modeling and model transformation; time and performance; static analysis; scenario-based specification; software verification; analysis and repair; verification and validation; graph transformation and debugging and testing.


formal methods graph transformations model checking model transformation model-driven software engineering modeling program repair scenario-based specifications software debugging software engineering software functional properties software performance software system models software system structures software testing software validation software verification static analysis

Editors and affiliations

  • Stefania Gnesi
    • 1
  • Arend Rensink
    • 2
  1. 1.CNRPisaItaly
  2. 2.University of TwenteEnschedeThe Netherlands

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-54803-1
  • Online ISBN 978-3-642-54804-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349