Fundamental approaches to software engineering [electronic resource] : 18th International Conference, FASE 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / Alexander Egyed, Ina Schaefer (eds.).

Models and Synthesis
An Institution for Simple UML State Machines
Map-Based Transparent Persistence for Very Large Models
Composing Message Translators and Inferring Their Data Types Using Tree Automata
On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications
Testing and Fault Localization
BPEL Integration Testing
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines
Just Test What You Cannot Verify!
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme
Modeling
A Generalized Formal Framework for Partial Modeling
Performance-Based Software Model Refactoring in Fuzzy Contexts
Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin
Verification
Translation Validation for Clock Transformations in a Synchronous Compiler
Symbolic Detection of Assertion Dependencies for Bounded Model Checking
Verification of Loop
Parallelisations
Model-Based Formal Reasoning about Data-Management Applications
Modeling and Adaptation
Self-adaptive Software with Decentralised Control Loops
Model-Based Adaptation of Software Communicating via FIFO Buffers
Lazy TSO Reachability
A Variability-Based Approach to Reusable and Efficient Model Transformations
Applications
Exploring Scenario Exploration
Data-Oriented Characterization of Application-Level Energy Optimization
Resource Specification for Prototyping Human-Intensive Systems
The Prophecy of Undo.