Proceedings of the 20th 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

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

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

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.