Reiner Hähnle, Wil M. P. van der Aalst
Proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering
FASE, 2019.

@proceedings{FASE-2019,
	doi           = "10.1007/978-3-030-16722-6",
	editor        = "Reiner Hähnle and Wil M. P. van der Aalst",
	isbn          = "['978-3-030-16721-9', '978-3-030-16722-6']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 11424,
	year          = 2019,
}

Contents (25 items)

FASE-2019-ChechikSVKR #assurance #nondeterminism

Software Assurance in an Uncertain World (MC, RS, TV, SK, MR), pp. 3–21.

FASE-2019-RungeSCTKW #tool support

Tool Support for Correctness-by-Construction (TR, IS, LC, TT, DGK, BWW), pp. 25–42.

FASE-2019-ParkJR #automation #javascript #modelling #static analysis

Automatic Modeling of Opaque Code for JavaScript Static Analysis (JP, AJ, SR), pp. 43–60.

FASE-2019-ZhangSMC #analysis #bound #constraints #scheduling #smt #specification

SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language (MZ0, FS, FM, XC0), pp. 61–78.

FASE-2019-HennickerMK #data-driven #hybrid #logic

A Hybrid Dynamic Logic for Event/Data-Based Systems (RH, AM, AK), pp. 79–97.

FASE-2019-ZweihoffNS #collaboration #generative #modelling #named #online

Pyro: Generating Domain-Specific Collaborative Online Modeling Environments (PZ, SN, BS), pp. 101–115.

FASE-2019-FritscheKST #automation #performance #process

Efficient Model Synchronization by Automatically Constructed Repair Processes (LF, JK, AS, GT), pp. 116–133.

FASE-2019-Boronat #dependence #injection #model transformation

Offline Delta-Driven Model Transformation with Dependency Injection (AB), pp. 134–150.

FASE-2019-SchneiderLO #approach #graph #incremental

A Logic-Based Incremental Approach to Graph Repair (SS0, LL, FO), pp. 151–167.

FASE-2019-EniserGS #fault #locality #named #network

DeepFault: Fault Localization for Deep Neural Networks (HFE, SG, AS0), pp. 171–191.

FASE-2019-DimovskiLW #abstraction #game studies #model checking #refinement #variability

Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL (ASD, AL, AW), pp. 192–209.

FASE-2019-HuangK #constraints #safety #security #verification

Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System (LH, EYK0), pp. 210–227.

FASE-2019-AroraKR

Checking Observational Purity of Procedures (HA, RK, GR), pp. 228–243.

FASE-2019-NicholsEH #clone detection #detection

Structural and Nominal Cross-Language Clone Detection (LN, ME, BH), pp. 247–263.

FASE-2019-Wynn-WilliamsDP #named #refactoring

SL2SF: Refactoring Simulink to Stateflow (SWW, ZD, VP, ML, GMKS, CM, MD, FW), pp. 264–281.

FASE-2019-GieseMSS #graph #logic #metric

Metric Temporal Graph Logic over Typed Attributed Graphs (HG, MM, LS, SS0), pp. 282–298.

FASE-2019-QianZWO #c #modelling #named #source code #verification

KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs (JQ, MZ0, YW, KO0), pp. 299–305.

FASE-2019-TootsTYDGLMPPPT #analysis #privacy #process

Business Process Privacy Analysis in Pleak (AT, RT, MY, MD, LGB, PL, RM, AP, MP, PP, JT), pp. 306–312.

FASE-2019-PengR #effectiveness #gpu #kernel #named

CLTestCheck: Measuring Test Effectiveness for GPU Kernels (CP, AR), pp. 315–331.

FASE-2019-BezirgiannisBJP #case study #implementation #manycore #memory management

Implementing SOS with Active Objects: A Case Study of a Multicore Memory System (NB, FSdB, EBJ, KIP, SLTT), pp. 332–350.

FASE-2019-BravettiGMTZ #automation #deployment

Optimal and Automated Deployment for Microservices (MB, SG, JM, IT, GZ), pp. 351–368.

FASE-2019-DubrulleGKLL #data flow

A Data Flow Model with Frequency Arithmetic (PD, CG, NK, AL, SL), pp. 369–385.

FASE-2019-BeyerJ #named #testing

CoVeriTest: Cooperative Verifier-Based Testing (DB0, MCJ), pp. 389–408.

FASE-2019-GharachorluS #reduction #testing

: Priority Aware Test Case Reduction (GG, NS), pp. 409–426.

FASE-2019-PonzioBPAF #api #automation #identification

Automatically Identifying Sufficient Object Builders from Module APIs (PP, VSB, MP, NA, MFF), pp. 427–444.