Book Volume 7793 2013

Fundamental Approaches to Software Engineering

16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Editors:

ISBN: 978-3-642-37056-4 (Print) 978-3-642-37057-1 (Online)

Table of contents (26 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Paper

    1. No Access

      Chapter

      Pages 1-5

      Variability in Software: State of the Art and Future Directions

  3. Model-Driven Engineering: Concepts

    1. No Access

      Chapter

      Pages 6-20

      Towards a Distributed Modeling Process Based on Composite Models

    2. No Access

      Chapter

      Pages 21-36

      Change Propagation due to Uncertainty Change

    3. No Access

      Chapter

      Pages 37-52

      A Model-Based Synthesis Process for Choreography Realizability Enforcement

    4. No Access

      Chapter

      Pages 53-67

      On Extracting Feature Models from Sets of Valid Feature Combinations

  4. Verification and Validation 1

    1. No Access

      Chapter

      Pages 68-82

      On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets

    2. No Access

      Chapter

      Pages 83-98

      Quality of Merge-Refactorings for Product Lines

  5. Software Comprehension

    1. No Access

      Chapter

      Pages 99-113

      Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs

    2. No Access

      Chapter

      Pages 114-129

      Discovering Branching Conditions from Business Process Execution Logs

    3. No Access

      Chapter

      Pages 130-145

      Exposing Behavioral Differences in Cross-Language API Mapping Relations

  6. Verification and Validation 2

    1. No Access

      Chapter

      Pages 146-162

      Explicit-State Software Model Checking Based on CEGAR and Interpolation

    2. No Access

      Chapter

      Pages 163-178

      Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks

    3. No Access

      Chapter

      Pages 179-193

      Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification

    4. No Access

      Chapter

      Pages 194-209

      Scenario Realizability with Constraint Optimization

  7. Analysis Tools

    1. No Access

      Chapter

      Pages 210-225

      Andromeda: Accurate and Scalable Security Analysis of Web Applications

    2. No Access

      Chapter

      Pages 226-230

      VerChor: A Framework for Verifying Choreographies

    3. No Access

      Chapter

      Pages 231-234

      Javanni: A Verifier for JavaScript

  8. Model-Driven Engineering: Applications

    1. No Access

      Chapter

      Pages 235-249

      Model-Based Implementation of Parallel Real-Time Systems

    2. No Access

      Chapter

      Pages 250-265

      A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications

    3. No Access

      Chapter

      Pages 266-281

      A Mechanized Model for CAN Protocols

previous Page of 2