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 / / edited by Alessandra Russo, Andy Schürr.
This book is Open Access under a CC BY licence.
Saved in:
| Superior document: | Theoretical Computer Science and General Issues, 10802 |
|---|---|
| HerausgeberIn: | |
| Place / Publishing House: | Cham : : Springer International Publishing :, Imprint: Springer,, 2018. |
| Year of Publication: | 2018 |
| Edition: | 1st ed. 2018. |
| Language: | English |
| Series: | Theoretical Computer Science and General Issues,
10802 |
| Physical Description: | 1 online resource (XII, 357 p. 116 illus.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- 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.