Proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TCS
DBLP
Scholar
DOI
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.