Alexander Egyed, Ina Schaefer
Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering
FASE, 2015.

@proceedings{FASE-2015,
	address       = "London, England, United Kingdom",
	doi           = "10.1007/978-3-662-46675-9",
	editor        = "Alexander Egyed and Ina Schaefer",
	isbn          = "978-3-662-46674-2",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 9033,
	year          = 2015,
}

Contents (23 items)

4 ×#modelling
2 ×#adaptation
2 ×#dependence
2 ×#distributed
2 ×#optimisation
2 ×#reuse
2 ×#specification
2 ×#testing
2 ×#verification

FASE-2015-KnappMRG #state machine #uml

An Institution for Simple UML State Machines (AK, TM, MR, MG), pp. 3–18.

FASE-2015-GomezTSC #modelling #persistent #scalability

Map-Based Transparent Persistence for Very Large Models (AG, MT, GS, JC), pp. 19–34.

FASE-2015-AndriescuMI #automaton #data type #using

Composing Message Translators and Inferring Their Data Types Using Tree Automata (EA, TM, VI), pp. 35–50.

FASE-2015-BrennerGS #distributed #on the fly #specification #synthesis

On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications (CB, JG, WS), pp. 51–65.

FASE-2015-JehanPW #integration #testing

BPEL Integration Testing (SJ, IP, FW), pp. 69–83.

FASE-2015-BurdekLBHRA015 #generative #multi #product line #reuse #testing

Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines (JB, ML, SB, AH, AvR, SA, DB), pp. 84–99.

FASE-2015-CzechJW #exclamation #verification #what

Just Test What You Cannot Verify! (MC, MCJ, HW), pp. 100–114.

FASE-2015-LandsbergCKL #evaluation #fault #locality #metric #optimisation #statistics

Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme (DL, HC, DK, ML), pp. 115–129.

FASE-2015-SalayC #framework #modelling

A Generalized Formal Framework for Partial Modeling (RS, MC), pp. 133–148.

FASE-2015-ArcelliCT #fuzzy #refactoring

Performance-Based Software Model Refactoring in Fuzzy Contexts (DA, VC, CT), pp. 149–164.

FASE-2015-BornAHT #dependence #rule-based

Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin (KB, TA, FH, GT), pp. 165–168.

FASE-2015-NgoTGG #compilation #validation

Translation Validation for Clock Transformations in a Synchronous Compiler (VCN, JPT, TG, PLG), pp. 171–185.

FASE-2015-FedyukovichDHS #bound #dependence #detection #model checking

Symbolic Detection of Assertion Dependencies for Bounded Model Checking (GF, ACD, AEJH, NS), pp. 186–201.

FASE-2015-BlomDH #verification

Verification of Loop Parallelisations (SB, SD, MH), pp. 202–217.

FASE-2015-DaniaC #modelling #reasoning

Model-Based Formal Reasoning about Data-Management Applications (CD, MC), pp. 218–232.

FASE-2015-CalinescuGB #adaptation #distributed #self

Self-adaptive Software with Decentralised Control Loops (RC, SG, AB), pp. 235–251.

FASE-2015-CanalS #adaptation #communication #modelling

Model-Based Adaptation of Software Communicating via FIFO Buffers (CC, GS), pp. 252–266.

FASE-2015-BouajjaniCDM #lazy evaluation #reachability

Lazy TSO Reachability (AB, GC, ED, RM), pp. 267–282.

FASE-2015-StruberRCT #approach #model transformation #performance #reuse #variability

A Variability-Based Approach to Reusable and Efficient Model Transformations (DS, JR, MC, GT), pp. 283–298.

FASE-2015-MacedoCG

Exploring Scenario Exploration (NM, AC, TG), pp. 301–315.

FASE-2015-LiuPL #energy #optimisation

Data-Oriented Characterization of Application-Level Energy Optimization (KL, GP, YDL), pp. 316–331.

FASE-2015-ShinBOBH #prototype #specification

Resource Specification for Prototyping Human-Intensive Systems (SYS, YB, LJO, HB, PLH), pp. 332–346.

FASE-2015-Abadi #undo

The Prophecy of Undo (MA), pp. 347–361.