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

      Book Chapter

      Pages 1-16

      Probabilistic Model Checking and Non-standard Multi-objective Reasoning

  3. Modelling and Model Transformation

    1. No Access

      Book Chapter

      Pages 17-31

      Target Oriented Relational Model Finding

    2. No Access

      Book Chapter

      Pages 32-46

      Bidirectionally Tolerating Inconsistency: Partial Transformations

    3. No Access

      Book Chapter

      Pages 47-62

      Splitting Models Using Information Retrieval and Model Crawling Techniques

    4. No Access

      Book Chapter

      Pages 63-78

      Sound Merging and Differencing for Class Diagrams

  4. Time and Performance

    1. No Access

      Book Chapter

      Pages 79-93

      Heterogeneous and Asynchronous Networks of Timed Systems

    2. No Access

      Book Chapter

      Pages 94-108

      Family-Based Performance Analysis of Variant-Rich Software Systems

  5. Static Analysis

    1. No Access

      Book Chapter

      Pages 109-124

      TouchCost: Cost Analysis of TouchDevelop Scripts

    2. No Access

      Book Chapter

      Pages 125-139

      Efficient Incremental Static Analysis Using Path Abstraction

    3. No Access

      Book Chapter

      Pages 140-154

      Type-Based Taint Analysis for Java Web Applications

    4. No Access

      Book Chapter

      Pages 155-169

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

  6. Scenario-Based Specification

    1. No Access

      Book Chapter

      Pages 170-184

      Modularizing Early Architectural Assumptions in Scenario-Based Requirements

    2. No Access

      Book Chapter

      Pages 185-199

      Semantically Configurable Analysis of Scenario-Based Specifications

  7. Software Verification

    1. No Access

      Book Chapter

      Pages 200-214

      Formal Verification of Medical Device User Interfaces Using PVS

    2. No Access

      Book Chapter

      Pages 215-229

      Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs

    3. No Access

      Book Chapter

      Pages 230-245

      Verifying Class Invariants in Concurrent Programs

  8. Analysis and Repair

    1. No Access

      Book Chapter

      Pages 246-260

      Automatic Program Repair by Fixing Contracts

    2. No Access

      Book Chapter

      Pages 261-275

      Dynamic Package Interfaces

  9. Verification and Validation

    1. No Access

      Book Chapter

      Pages 276-290

      SMT-Based Checking of SOLOIST over Sparse Traces

    2. No Access

      Book Chapter

      Pages 291-305

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

previous Page of 2