default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st FASE 2018: Thessaloniki, Greece
- 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, Christopher Pietsch, Udo Kelter:
A Formal Framework for Incremental Model Slicing. 3-20 - Zinovy Diskin, Harald König, Mark Lawford:
Multiple Model Synchronization with Multiary Delta Lenses. 21-37 - Sebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus, Malte Lochau:
Controlling the Attack Surface of Object-Oriented Refactorings. 38-55 - Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga:
Effective Analysis of Attack Trees: A Model-Driven Approach. 56-73
Distributed Program and System Analysis
- Si Liu, Peter Csaba Ölveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, José Meseguer:
ROLA: A New Distributed Transaction Protocol and Its Formal Analysis. 77-93 - Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo:
A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism. 94-110 - Márton Búr, Gábor S. Szilágyi, András Vörös, Dániel Varró:
Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems. 111-128 - Joonyoung Park, Kwangwon Sun, Sukyoung Ryu:
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, Paola Spoletini, Marsha Chechik, Carlo Ghezzi:
Supporting Verification-Driven Incremental Distributed Design of Components. 169-188 - Nikolaos Katirtzis, Themistoklis Diamantopoulos, Charles Sutton:
Summarizing Software API Usage Examples Using Clustering Techniques. 189-206 - Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall:
Fast Computation of Arbitrary Control Dependencies. 207-224
Specification and Program Testing
- Oszkár Semeráth, Dániel Varró:
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. 227-245 - David Landsberg, Youcheng Sun, Daniel Kroening:
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. 246-263 - Yavuz Köroglu, Alper Sen:
TCM: Test Case Mutation to Improve Crash Detection in Android. 264-280 - Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie:
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, Ioanna Stavropoulou, Cynthia Disenfeld, Julia Rubin:
FPH: Efficient Non-commutativity Analysis of Feature-Based Systems. 319-336 - Daniel Strüber, Sven Peldszus, Jan Jürjens:
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 2026-04-30 00:10 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:
