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.