Fundamental approaches to software engineering : 21st International Conference, FASE 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / Alessandra Russo, Andy Schürr (eds.).

Model-Based Software Development
A Formal Framework for Incremental Model Slicing
Multiple Model Synchronization with Multiary Delta Lenses
Controlling the Attack Surface of Object-Oriented Refactorings
Efficient Analysis of Attack Trees: a Model-Driven Approach
Distributed Program and System Analysis
ROLA: A New Distributed Transaction Protocol and Its Formal Analysis
A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism
Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems
EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States
Software Design and Verification
Hierarchical Specification and Verification of Architectural Design Patterns
Supporting Verification-Driven Incremental Distributed Design of Components
Summarizing Software API Usage Examples using Clustering Techniques
Fast Computation of Arbitrary Control Dependencies
Specification and Program Testing
Iterative Generation of Diverse Models for Testing Specifications of SL Tools
Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications
TCM: Test Case Mutation to Improve Crash Detection in Android
CRETE: A Versatile Binary-Level Concolic Testing Framework
Family-Based Software Development
Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL*
FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems
Taming Multi-Variability of Software Product Line Transformations.