Marieke Huisman, Julia Rubin
Proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering
FASE, 2017.

@proceedings{FASE-2017,
	doi           = "10.1007/978-3-662-54494-5",
	editor        = "Marieke Huisman and Julia Rubin",
	isbn          = "978-3-662-54493-8",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 10202,
	year          = 2017,
}

Contents (25 items)

FASE-2017-Wang0YP #approach #empirical #model checking #modelling #probability

Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study (JW, JS0, QY, JP0), pp. 3–21.

FASE-2017-MontaghamiR #named

Bordeaux: A Tool for Thinking Outside the Box (VM, DR), pp. 22–39.

FASE-2017-PhamKRR #analysis #testing

Bucketing Failing Tests via Symbolic Analysis (VTP, SK, SR, AR), pp. 43–59.

FASE-2017-SahaG #debugging

Selective Bisection Debugging (RS, MG), pp. 60–77.

FASE-2017-AraujoNN #debugging #effectiveness #on the #predict

On the Effectiveness of Bug Predictors with Procedural Systems: A Quantitative Study (CWA, IN, DJN), pp. 78–95.

FASE-2017-KristensenM #evolution #typescript

Inference and Evolution of TypeScript Declaration Files (EKK, AM), pp. 99–115.

FASE-2017-HuY #multi

Explicit Connection Actions in Multiparty Session Types (RH, NY), pp. 116–133.

FASE-2017-0002MRSP #component #contract #hybrid #verification

Change and Delay Contracts for Hybrid System Component Verification (AM0, SM, WR, WS, AP), pp. 134–151.

FASE-2017-AsenovG0O #precise #version control

Precise Version Control of Trees with Line-Based Version Control Systems (DA, BG, PM0, MO), pp. 152–169.

FASE-2017-AlvinPM #diagrams #generative #named #sequence chart #uml

StaticGen: Static Generation of UML Sequence Diagrams (CA, BP, SM), pp. 173–190.

FASE-2017-LeblebiciAS #consistency #graph grammar #linear #optimisation #using

Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques (EL, AA, AS), pp. 191–207.

FASE-2017-ZschalerD #composition #flexibility #graph transformation #product line

GTS Families for the Flexible Composition of Graph Transformation Systems (SZ, FD), pp. 208–225.

FASE-2017-SchneiderLO #generative #graph

Symbolic Model Generation for Graph Properties (SS0, LL, FO), pp. 226–243.

FASE-2017-DiskinGC #model transformation #traceability

Traceability Mappings as a Fundamental Instrument in Model Transformations (ZD, AG, JC), pp. 247–263.

FASE-2017-LaraRRGIPC #model transformation #modelling #requirements #reuse #type system

Reusing Model Transformations Through Typing Requirements Models (JdL, JDR, DDR, EG, LI, AP, JSC), pp. 264–282.

FASE-2017-TaentzerOLR

Change-Preserving Model Repair (GT, MO, YL, AR), pp. 283–299.

FASE-2017-ChengT #approach #atl #deduction #fault #locality #model transformation

A Deductive Approach for Fault Localization in ATL Model Transformations (ZC, MT), pp. 300–317.

FASE-2017-Henda0LNSS #analysis #named #security

OpenSAW: Open Security Analysis Workbench (NBH, BJ0, PL, KN, PS, OS), pp. 321–337.

FASE-2017-AydinPTFP #mobile #policy #privacy #visual notation

Visual Configuration of Mobile Privacy Policies (AA, DP, OT, PF, MP), pp. 338–355.

FASE-2017-UvaPRAF #automation #java #satisfiability #specification

Automated Workarounds from Java Program Specifications Based on SAT Solving (MU, PP, GR, NA, MFF), pp. 356–373.

FASE-2017-RiescoAA #semantics #slicing

Slicing from Formal Semantics: Chisel (AR0, IMA, MA), pp. 374–378.

FASE-2017-DomenechGJS #agile #development #named #prototype #research #tool support #user interface

EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools (JD, SG, EBJ, RS), pp. 379–383.

FASE-2017-BeekVW #model checking

Family-Based Model Checking with mCRL2 (MHtB, EPdV, TACW), pp. 387–405.

FASE-2017-DimovskiW #abstraction #model checking #refinement #variability

Variability-Specific Abstraction Refinement for Family-Based Model Checking (ASD, AW), pp. 406–423.

FASE-2017-DamianiHKL #programming

A Unified and Formal Programming Model for Deltas and Traits (FD, RH, EK, ML), pp. 424–441.