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

This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 25 papers presented in this volume were carefully reviewed and selected from 112 submissions. They are organized in topical sections named: model-driven engineering; verification and validation; software comprehension; analysis tools; model-driven engineering: applications; model transformations; and testing. Front Matter....Pages - Variability in Software: State of the Art and Future Directions....Pages 1-5 Towards a Distributed Modeling Process Based on Composite Models....Pages 6-20 Change Propagation due to Uncertainty Change....Pages 21-36 A Model-Based Synthesis Process for Choreography Realizability Enforcement....Pages 37-52 On Extracting Feature Models from Sets of Valid Feature Combinations....Pages 53-67 On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets....Pages 68-82 Quality of Merge-Refactorings for Product Lines....Pages 83-98 Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs....Pages 99-113 Discovering Branching Conditions from Business Process Execution Logs....Pages 114-129 Exposing Behavioral Differences in Cross-Language API Mapping Relations....Pages 130-145 Explicit-State Software Model Checking Based on CEGAR and Interpolation....Pages 146-162 Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks....Pages 163-178 Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification....Pages 179-193 Scenario Realizability with Constraint Optimization....Pages 194-209 Andromeda : Accurate and Scalable Security Analysis of Web Applications....Pages 210-225 VerChor: A Framework for Verifying Choreographies....Pages 226-230 Javanni: A Verifier for JavaScript....Pages 231-234 Model-Based Implementation of Parallel Real-Time Systems....Pages 235-249 A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications....Pages 250-265 A Mechanized Model for CAN Protocols....Pages 266-281 Enforcing QVT-R with mu-Calculus and Games....Pages 282-296 Implementing QVT-R Bidirectional Model Transformations Using Alloy....Pages 297-311 Abstraction and Training of Stochastic Graph Transformation Systems....Pages 312-326 Discovering Math APIs by Mining Unit Tests....Pages 327-342 POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications....Pages 343-358 Testing with Inputs and Outputs in CSP....Pages 359-374 Back Matter....Pages - This book constitutes the proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering, FASE 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.