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. Chapter

      Pages 1-5

      Variability in Software: State of the Art and Future Directions

  3. Model-Driven Engineering: Concepts

    1. Chapter

      Pages 6-20

      Towards a Distributed Modeling Process Based on Composite Models

    2. Chapter

      Pages 21-36

      Change Propagation due to Uncertainty Change

    3. Chapter

      Pages 37-52

      A Model-Based Synthesis Process for Choreography Realizability Enforcement

    4. Chapter

      Pages 53-67

      On Extracting Feature Models from Sets of Valid Feature Combinations

  4. Verification and Validation 1

    1. Chapter

      Pages 68-82

      On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets

    2. Chapter

      Pages 83-98

      Quality of Merge-Refactorings for Product Lines

  5. Software Comprehension

    1. Chapter

      Pages 99-113

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

    2. Chapter

      Pages 114-129

      Discovering Branching Conditions from Business Process Execution Logs

    3. Chapter

      Pages 130-145

      Exposing Behavioral Differences in Cross-Language API Mapping Relations

  6. Verification and Validation 2

    1. Chapter

      Pages 146-162

      Explicit-State Software Model Checking Based on CEGAR and Interpolation

    2. Chapter

      Pages 163-178

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

    3. Chapter

      Pages 179-193

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

    4. Chapter

      Pages 194-209

      Scenario Realizability with Constraint Optimization

  7. Analysis Tools

    1. Chapter

      Pages 210-225

      Andromeda: Accurate and Scalable Security Analysis of Web Applications

    2. Chapter

      Pages 226-230

      VerChor: A Framework for Verifying Choreographies

    3. Chapter

      Pages 231-234

      Javanni: A Verifier for JavaScript

  8. Model-Driven Engineering: Applications

    1. Chapter

      Pages 235-249

      Model-Based Implementation of Parallel Real-Time Systems

    2. Chapter

      Pages 250-265

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

    3. Chapter

      Pages 266-281

      A Mechanized Model for CAN Protocols

previous Page of 2