default search action
21st FASE 2018: Thessaloniki, Greece (Part of ETAPS 2018)
- Alessandra Russo, Andy Schürr:
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. Lecture Notes in Computer Science 10802, Springer 2018, ISBN 978-3-319-89362-4
Model-Based Software Development
- Gabriele Taentzer
, Timo Kehrer
A Formal Framework for Incremental Model Slicing. 3-20 - Zinovy Diskin
Multiple Model Synchronization with Multiary Delta Lenses. 21-37 - Sebastian Ruland
Controlling the Attack Surface of Object-Oriented Refactorings. 38-55 - Rajesh Kumar
Effective Analysis of Attack Trees: A Model-Driven Approach. 56-73
Distributed Program and System Analysis
- Si Liu
ROLA: A New Distributed Transaction Protocol and Its Formal Analysis. 77-93 - Fotios Gioulekas
A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism. 94-110 - Márton Búr
Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems. 111-128 - Joonyoung Park
EventHandler-Based Analysis Framework for Web Apps Using Dynamically Collected States. 129-145
Software Design and Verification
- Diego Marmsoler
Hierarchical Specification and Verification of Architectural Design Patterns. 149-168 - Claudio Menghi
Supporting Verification-Driven Incremental Distributed Design of Components. 169-188 - Nikolaos Katirtzis
Summarizing Software API Usage Examples Using Clustering Techniques. 189-206 - Jean-Christophe Léchenet
Fast Computation of Arbitrary Control Dependencies. 207-224
Specification and Program Testing
- Oszkár Semeráth
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. 227-245 - David Landsberg
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. 246-263 - Yavuz Köroglu
TCM: Test Case Mutation to Improve Crash Detection in Android. 264-280 - Bo Chen
CRETE: A Versatile Binary-Level Concolic Testing Framework. 281-298
Family-Based Software Development
- Aleksandar S. Dimovski
Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL\(^{\star }\). 301-318 - Marsha Chechik
FPH: Efficient Non-commutativity Analysis of Feature-Based Systems. 319-336 - Daniel Strüber
Taming Multi-Variability of Software Product Line Transformations. 337-355
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-29 22:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: