Advertisement

© 2014

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

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

Table of contents

  1. Front Matter
    PDF

  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. Bidirectionally Tolerating Inconsistency: Partial Transformations
      Perdita Stevens
      Pages 32-46
    3. Splitting Models Using Information Retrieval and Model Crawling Techniques
      Daniel Struber, Julia Rubin, Gabriele Taentzer, Marsha Chechik
      Pages 47-62
    4. 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
    4. Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities
      Alireza Sadeghi, Naeem Esfahani, Sam Malek
      Pages 155-169

  6. Scenario-Based Specification

    1. Modularizing Early Architectural Assumptions in Scenario-Based Requirements
      Dimitri Van Landuyt, Wouter Joosen
      Pages 170-184
    2. Semantically Configurable Analysis of Scenario-Based Specifications
      Barak Cohen, Shahar Maoz
      Pages 185-199

  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

Introduction

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.

Keywords

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