Book Volume 8411 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

Editors:

ISBN: 978-3-642-54803-1 (Print) 978-3-642-54804-8 (Online)

Table of contents (29 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Paper

    1. No Access

      Chapter

      Pages 1-16

      Probabilistic Model Checking and Non-standard Multi-objective Reasoning

  3. Modelling and Model Transformation

    1. No Access

      Chapter

      Pages 17-31

      Target Oriented Relational Model Finding

    2. No Access

      Chapter

      Pages 32-46

      Bidirectionally Tolerating Inconsistency: Partial Transformations

    3. No Access

      Chapter

      Pages 47-62

      Splitting Models Using Information Retrieval and Model Crawling Techniques

    4. No Access

      Chapter

      Pages 63-78

      Sound Merging and Differencing for Class Diagrams

  4. Time and Performance

    1. No Access

      Chapter

      Pages 79-93

      Heterogeneous and Asynchronous Networks of Timed Systems

    2. No Access

      Chapter

      Pages 94-108

      Family-Based Performance Analysis of Variant-Rich Software Systems

  5. Static Analysis

    1. No Access

      Chapter

      Pages 109-124

      TouchCost: Cost Analysis of TouchDevelop Scripts

    2. No Access

      Chapter

      Pages 125-139

      Efficient Incremental Static Analysis Using Path Abstraction

    3. No Access

      Chapter

      Pages 140-154

      Type-Based Taint Analysis for Java Web Applications

    4. No Access

      Chapter

      Pages 155-169

      Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities

  6. Scenario-Based Specification

    1. No Access

      Chapter

      Pages 170-184

      Modularizing Early Architectural Assumptions in Scenario-Based Requirements

    2. No Access

      Chapter

      Pages 185-199

      Semantically Configurable Analysis of Scenario-Based Specifications

  7. Software Verification

    1. No Access

      Chapter

      Pages 200-214

      Formal Verification of Medical Device User Interfaces Using PVS

    2. No Access

      Chapter

      Pages 215-229

      Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs

    3. No Access

      Chapter

      Pages 230-245

      Verifying Class Invariants in Concurrent Programs

  8. Analysis and Repair

    1. No Access

      Chapter

      Pages 246-260

      Automatic Program Repair by Fixing Contracts

    2. No Access

      Chapter

      Pages 261-275

      Dynamic Package Interfaces

  9. Verification and Validation

    1. No Access

      Chapter

      Pages 276-290

      SMT-Based Checking of SOLOIST over Sparse Traces

    2. No Access

      Chapter

      Pages 291-305

      An Online Validator for Provenance: Algorithmic Design, Testing, and API

previous Page of 2