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

@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.