Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Stefania Gnesi

    1. CNR, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Arend Rensink

    1. University of Twente, Enschede, The Netherlands

    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 8411)

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

Included in the following conference series:

Conference proceedings info: FASE 2014.

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 (29 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. Fundamental Approaches to Software Engineering

Keywords

About this book

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.

Editors and Affiliations

  • CNR, Pisa, Italy

    Stefania Gnesi

  • University of Twente, Enschede, The Netherlands

    Arend Rensink

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation