Full Description
This book
constitutes the proceedings of the 19th International Conference on Fundamental
Approaches to Software Engineering, FASE 2016, which took place in Eindhoven,
The Netherlands, in April 2016, held as Part of the European Joint Conferences
on Theory and Practice of Software, ETAPS 2016.
The 23 full papers presented in this volume were carefully reviewed and selected
from 90 submissions. They were organized in topical sections named: concurrent
and distributed systems; model-driven development; analysis and bug triaging;
probabilistic and stochastic systems; proof and theorem proving; and
verification.
Contents
The Death of Object-Oriented Programming.- Concurrent
and Distributed Systems Automated Choreography Repair.- A Graph-Based Semantics
Workbench for Concurrent Asynchronous Programs.- ABS-YARN: A Formal Framework
for Modeling Hadoop YARN Clusters.- Integrated environment for verifying and
running distributed components.- Model-Driven Development.- Iterative and
incremental model generation by logic solvers.- Automated Model Merge by Design
Space Exploration.- RuleMerger: Automatic Construction of Variability-Based
Model Transformation Rules.- Two-Step Transformation of Model Traversal EOL
Queries for Large CDO Repositories.- Mind the Gap! Automated Anomaly Detection
for Potentially Unbounded Cardinality-based Feature Models.- Analysis and Bug
Triaging.- Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices.-
The Influences of Edge Instability on Change Propagation and Connectivity in
Call Graphs.- Modeling and Abstraction of Memory Management in a Hypervisor.- Crowdsourced
Bug Triaging: Leveraging Q&A resources for Bug Assignment.- Probabilistic
and Stochastic Systems Model-Based Testing of Probabilistic Systems.- An
Iterative Decision-Making Scheme for Markov Decision Processes and Its
Application to Self-Adaptive Systems.- Family-Based Modeling and Analysis for
Probabilistic Systems - Featuring ProFeat.- Statistical model checking of
e-Motions domain-specific modeling languages.- Proof and Theorem Proving.- Towards
Formal Proof Metrics.- Reduction Rules for Colored Workflow Nets.- Many-valued
Institutions for Constraint Specification.- CafeInMaude: a CafeOBJ interpreter
in Maude.- Verification.- Verifying a Verifier: On the Formal Correctness of an
LTS Transformation Verification Technique.- Hybrid Session Verification through
Endpoint API Generation.- PVAIR: Partial Variable Assignment InterpolatoR.
