Fundamental Approaches to Software Engineering [E-Book] : 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 / edited by Vittorio Cortellessa, Dániel Varró.
Cortellessa, Vittorio.
Varró, Dániel.
Berlin, Heidelberg : Springer, 2013
XVII, 376 p. 90 illus. digital.
Lecture notes in computer science ; 7793
Full Text
Table of Contents:
  • Towards a Distributed Modeling Process Based on Composite Models
  • Change Propagation due to Uncertainty Change
  • A Model-Based Synthesis Process for Choreography Realizability Enforcement
  • On Extracting Feature Models from Sets of Valid Feature Combinations
  • On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets
  • Quality of Merge-Refactorings for Product Lines
  • Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs
  • Discovering Branching Conditions from Business Process Execution Logs
  • Exposing Behavioral Differences in Cross-Language API Mapping Relations
  • Explicit-State Software Model Checking Based on CEGAR and Interpolation
  • Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks
  • Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification
  • Scenario Realizability with Constraint Optimization
  • Andromeda: Accurate and Scalable Security Analysis of Web Applications
  • VerChor: A Framework for Verifying Choreographies
  • Javanni: A Verifier for JavaScript
  • Model-Based Implementation of Parallel Real-Time Systems
  • A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications
  • A Mechanized Model for CAN Protocols
  • Enforcing QVT-R with mu-Calculus and Games
  • Implementing QVT-R Bidirectional Model Transformations Using Alloy
  • Abstraction and Training of Stochastic Graph Transformation Systems
  • Discovering Math APIs by Mining Unit Tests
  • POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications
  • Testing with Inputs and Outputs in CSP.