Alessandra Russo, Andy Schürr
Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering
FASE, 2018.

@proceedings{FASE-2018,
	doi           = "10.1007/978-3-319-89363-1",
	editor        = "Alessandra Russo and Andy Schürr",
	isbn          = "['978-3-319-89362-4', '978-3-319-89363-1']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 10802,
	year          = 2018,
}

Contents (19 items)

FASE-2018-TaentzerKPK #framework #incremental #slicing

A Formal Framework for Incremental Model Slicing (GT, TK, CP, UK), pp. 3–20.

FASE-2018-DiskinKL #lens #multi

Multiple Model Synchronization with Multiary Delta Lenses (ZD, HK, ML), pp. 21–37.

FASE-2018-RulandKLPL #object-oriented #refactoring

Controlling the Attack Surface of Object-Oriented Refactorings (SR, GK, EL, SP, ML), pp. 38–55.

FASE-2018-0012SRYHBRS #analysis #approach #effectiveness #modelling

Effective Analysis of Attack Trees: A Model-Driven Approach (RK0, SS, ER, BMY, DH, JB, AR, MS), pp. 56–73.

FASE-2018-LiuOSWGM #analysis #distributed #formal method #named #protocol #transaction

ROLA: A New Distributed Transaction Protocol and Its Formal Analysis (SL0, PCÖ, KS, QW0, IG, JM), pp. 77–93.

FASE-2018-GioulekasPKBP #network #parallel #process #streaming

A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism (FG, PP, PK, SB, PP), pp. 94–110.

FASE-2018-BurSVV #cyber-physical #distributed #graph #monitoring #query #runtime

Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems (MB, GS, AV0, DV), pp. 111–128.

FASE-2018-ParkSR #analysis #framework #using #web

EventHandler-Based Analysis Framework for Web Apps Using Dynamically Collected States (JP, KS, SR), pp. 129–145.

FASE-2018-Marmsoler #design pattern #specification #verification

Hierarchical Specification and Verification of Architectural Design Patterns (DM), pp. 149–168.

FASE-2018-MenghiSCG #component #design #distributed #incremental

Supporting Verification-Driven Incremental Distributed Design of Components (CM, PS, MC, CG), pp. 169–188.

FASE-2018-KatirtzisDS #api #clustering #using

Summarizing Software API Usage Examples Using Clustering Techniques (NK, TD, CAS), pp. 189–206.

FASE-2018-LechenetKG #dependence #performance

Fast Computation of Arbitrary Control Dependencies (JCL, NK, PLG), pp. 207–224.

FASE-2018-SemerathV #domain-specific language #generative #modelling #specification #testing #tool support

Iterative Generation of Diverse Models for Testing Specifications of DSL Tools (OS, DV), pp. 227–245.

FASE-2018-LandsbergSK #fault #locality #optimisation #source code #specification #using

Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications (DL, YS, DK), pp. 246–263.

FASE-2018-KorogluS #android #detection #named #testing

TCM: Test Case Mutation to Improve Crash Detection in Android (YK, AS0), pp. 264–280.

FASE-2018-ChenHYCKX #framework #named #testing

CRETE: A Versatile Binary-Level Concolic Testing Framework (BC0, CH, ZY, KC, RK, FX), pp. 281–298.

FASE-2018-Dimovski #model checking #using

Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL* (ASD), pp. 301–318.

FASE-2018-ChechikSDR #analysis #commutative #named #performance

FPH: Efficient Non-commutativity Analysis of Feature-Based Systems (MC, IS, CD, JR), pp. 319–336.

FASE-2018-0001PJ #multi #product line #variability

Taming Multi-Variability of Software Product Line Transformations (DS0, SP, JJ), pp. 337–355.