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

      Book Chapter

      Pages 1-5

      Variability in Software: State of the Art and Future Directions

  3. Model-Driven Engineering: Concepts

    1. No Access

      Book Chapter

      Pages 6-20

      Towards a Distributed Modeling Process Based on Composite Models

    2. No Access

      Book Chapter

      Pages 21-36

      Change Propagation due to Uncertainty Change

    3. No Access

      Book Chapter

      Pages 37-52

      A Model-Based Synthesis Process for Choreography Realizability Enforcement

    4. No Access

      Book Chapter

      Pages 53-67

      On Extracting Feature Models from Sets of Valid Feature Combinations

  4. Verification and Validation 1

    1. No Access

      Book Chapter

      Pages 68-82

      On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets

    2. No Access

      Book Chapter

      Pages 83-98

      Quality of Merge-Refactorings for Product Lines

  5. Software Comprehension

    1. No Access

      Book Chapter

      Pages 99-113

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

    2. No Access

      Book Chapter

      Pages 114-129

      Discovering Branching Conditions from Business Process Execution Logs

    3. No Access

      Book Chapter

      Pages 130-145

      Exposing Behavioral Differences in Cross-Language API Mapping Relations

  6. Verification and Validation 2

    1. No Access

      Book Chapter

      Pages 146-162

      Explicit-State Software Model Checking Based on CEGAR and Interpolation

    2. No Access

      Book Chapter

      Pages 163-178

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

    3. No Access

      Book Chapter

      Pages 179-193

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

    4. No Access

      Book Chapter

      Pages 194-209

      Scenario Realizability with Constraint Optimization

  7. Analysis Tools

    1. No Access

      Book Chapter

      Pages 210-225

      Andromeda: Accurate and Scalable Security Analysis of Web Applications

    2. No Access

      Book Chapter

      Pages 226-230

      VerChor: A Framework for Verifying Choreographies

    3. No Access

      Book Chapter

      Pages 231-234

      Javanni: A Verifier for JavaScript

  8. Model-Driven Engineering: Applications

    1. No Access

      Book Chapter

      Pages 235-249

      Model-Based Implementation of Parallel Real-Time Systems

    2. No Access

      Book Chapter

      Pages 250-265

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

    3. No Access

      Book Chapter

      Pages 266-281

      A Mechanized Model for CAN Protocols

previous Page of 2