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

Perdita Stevens, Andrzej Wasowski
Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering
FASE, 2016.

TCS
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{FASE-2016,
	doi           = "10.1007/978-3-662-49665-7",
	editor        = "Perdita Stevens and Andrzej Wasowski",
	isbn          = "978-3-662-49664-0",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 9633,
	year          = 2016,
}

Contents (25 items)

FASE-2016-Nierstrasz #object-oriented #programming
The Death of Object-Oriented Programming (ON), pp. 3–10.
FASE-2016-BasuB #automation
Automated Choreography Repair (SB0, TB), pp. 13–30.
FASE-2016-CorrodiHP #concurrent #graph #semantics #source code
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs (CC, AH, CMP), pp. 31–48.
FASE-2016-LinYJL #clustering #framework #modelling #named
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters (JCL, ICY, EBJ, MCL), pp. 49–65.
FASE-2016-HenrioKLM #component #distributed #ide #verification
Integrated Environment for Verifying and Running Distributed Components (LH, OK, SL, EM), pp. 66–83.
FASE-2016-SemerathVV #generative #incremental #logic
Iterative and Incremental Model Generation by Logic Solvers (OS, AV0, DV), pp. 87–103.
FASE-2016-DebreceniRVCMT #automation #design
Automated Model Merge by Design Space Exploration (CD, IR, DV, XDC, XM, ST), pp. 104–121.
FASE-2016-0001RACTP #automation #model transformation #named #variability
RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules (DS0, JR, TA, MC, GT, JP), pp. 122–140.
FASE-2016-CarlosST #query #repository #scalability #traversal
Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories (XDC, GS, ST), pp. 141–157.
FASE-2016-WeckesserLSRS #automation #bound #detection #exclamation #feature model #modelling
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models (MW, ML, TS, BR, AS), pp. 158–175.
FASE-2016-LechenetKG #branch #debugging #slicing #verification
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices (JCL, NK, PLG), pp. 179–196.
FASE-2016-WangLW #co-evolution #graph
The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs (LW, HL, XW), pp. 197–213.
FASE-2016-BolignanoJS #abstraction #memory management #modelling
Modeling and Abstraction of Memory Management in a Hypervisor (PB, TJ, VS), pp. 214–230.
FASE-2016-BadashianHS #crowdsourcing #debugging #platform
Crowdsourced Bug Triaging: Leveraging Q&A Platforms for Bug Assignment (ASB, AH, ES), pp. 231–248.
FASE-2016-GerholdS #modelling #probability #testing
Model-Based Testing of Probabilistic Systems (MG, MS), pp. 251–268.
FASE-2016-SuCFRT #adaptation #markov #process #self
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems (GS, TC, YF0, DSR, PST), pp. 269–286.
FASE-2016-ChrszonDKB #analysis #modelling #probability
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat (PC, CD, SK, CB), pp. 287–304.
FASE-2016-DuranMA #domain-specific language #model checking #modelling #statistics
Statistical Model Checking of e-Motions Domain-Specific Modeling Languages (FD, AMD, JMÁP), pp. 305–322.
FASE-2016-0001K #metric #proving #towards
Towards Formal Proof Metrics (DA0, CK), pp. 325–341.
FASE-2016-EsparzaH #reduction #workflow
Reduction Rules for Colored Workflow Nets (JE, PH), pp. 342–358.
FASE-2016-ChiritaFO #constraints #specification
Many-Valued Institutions for Constraint Specification (CEC, JLF, FO), pp. 359–376.
FASE-2016-RiescoOF #interpreter #maude #named
CafeInMaude: A CafeOBJ Interpreter in Maude (AR0, KO0, KF), pp. 377–380.
FASE-2016-PutterW #automaton #correctness #lts #verification
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique (SdP, AW), pp. 383–400.
FASE-2016-HuY #api #generative #hybrid #verification
Hybrid Session Verification Through Endpoint API Generation (RH, NY), pp. 401–418.
FASE-2016-JancikAFHKS #named
PVAIR: Partial Variable Assignment InterpolatoR (PJ, LA, GF, AEJH, JK, NS), pp. 419–434.

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.