Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and ... The Netherlands, April 2-8, 2016, Proceedings

by Perdita Stevens (Editor)

The Death of Object-Oriented Programming.- Concurrent and Distributed Systems Automated Choreography Repair.- A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs.- 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.- 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 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 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.- a CafeOBJ interpreter in Maude.- Verification.- Verifying a On the Formal Correctness of an LTS Transformation Verification Technique.- Hybrid Session Verification through Endpoint API Generation.- Partial Variable Assignment InterpolatoR.

 

452 pages, Paperback

Published March 24, 2016