Vittorio Cortellessa, Dániel Varró
Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering
FASE, 2013.

@proceedings{FASE-2013,
	address       = "Rome, Italy",
	doi           = "10.1007/978-3-642-37057-1",
	editor        = "Vittorio Cortellessa and Dániel Varró",
	isbn          = "978-3-642-37056-4",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 7793,
	year          = 2013,
}

Contents (26 items)

5 ×#modelling
4 ×#named
3 ×#behaviour
3 ×#process
3 ×#testing
2 ×#analysis
2 ×#api
2 ×#implementation
2 ×#on the
2 ×#probability

FASE-2013-Czarnecki #state of the art #variability

Variability in Software: State of the Art and Future Directions — (KC), pp. 1–5.

FASE-2013-StruberTJS #distributed #modelling #process #towards

Towards a Distributed Modeling Process Based on Composite Models (DS, GT, SJ, TS), pp. 6–20.

FASE-2013-SalayGC #co-evolution #nondeterminism

Change Propagation due to Uncertainty Change (RS, JG, MC), pp. 21–36.

FASE-2013-AutiliRSIT #modelling #process #synthesis

A Model-Based Synthesis Process for Choreography Realizability Enforcement (MA, DDR, ADS, PI, MT), pp. 37–52.

FASE-2013-HaslingerLE #feature model #modelling #on the #set

On Extracting Feature Models from Sets of Valid Feature Combinations (ENH, RELH, AE), pp. 53–67.

FASE-2013-HoferRWAG #empirical #evaluation #fault #locality #on the #spreadsheet

On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets (BH, AR, FW, RA, EG), pp. 68–82.

FASE-2013-RubinC #product line #quality

Quality of Merge-Refactorings for Product Lines (JR, MC), pp. 83–98.

FASE-2013-BouchouchaSL #behaviour #comprehension #modelling #probability #towards #using

Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs (AB, HAS, PL), pp. 99–113.

FASE-2013-LeoniDG #branch #execution #process

Discovering Branching Conditions from Business Process Execution Logs (MdL, MD, LGB), pp. 114–129.

FASE-2013-ZhongTX #api #behaviour #difference

Exposing Behavioral Differences in Cross-Language API Mapping Relations (HZ, ST, TX), pp. 130–145.

FASE-2013-BeyerL #model checking

Explicit-State Software Model Checking Based on CEGAR and Interpolation (DB, SL), pp. 146–162.

FASE-2013-LasseterC #design pattern #invariant #runtime

Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks (JL, JC), pp. 163–178.

FASE-2013-LinPEHR #analysis #behaviour #requirements #sequence #specification #string

Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification (LL, JHP, RE, RMH, CRM), pp. 179–193.

FASE-2013-AbdallahGHJ #constraints #optimisation

Scenario Realizability with Constraint Optimization (RA, AG, LH, CJ), pp. 194–209.

FASE-2013-TrippPCCG #analysis #named #scalability #security #web

Andromeda: Accurate and Scalable Security Analysis of Web Applications (OT, MP, PC, RC, SG), pp. 210–225.

FASE-2013-GudemannPSD #framework #named #verification

VerChor: A Framework for Verifying Choreographies (MG, PP, GS, AD), pp. 226–230.

FASE-2013-NordioCF #javascript #named #verification

Javanni: A Verifier for JavaScript (MN, CC, CAF), pp. 231–234.

FASE-2013-TrikiCBS #implementation #modelling #parallel #realtime

Model-Based Implementation of Parallel Real-Time Systems (AT, JC, SB, JS), pp. 235–249.

FASE-2013-YangPX #approach #automation #generative #mobile

A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications (WY, MRP, TX), pp. 250–265.

FASE-2013-BongiovanniH #protocol

A Mechanized Model for CAN Protocols (FB, LH), pp. 266–281.

FASE-2013-BradfieldS #calculus #game studies #qvt #μ-calculus

Enforcing QVT-R with μ-Calculus and Games (JCB, PS), pp. 282–296.

FASE-2013-MacedoC #alloy #bidirectional #implementation #model transformation #qvt #using

Implementing QVT-R Bidirectional Model Transformations Using Alloy (NM, AC), pp. 297–311.

FASE-2013-BapodraH #abstraction #graph transformation #probability

Abstraction and Training of Stochastic Graph Transformation Systems (MB, RH), pp. 312–326.

FASE-2013-SanthiarPK #api #mining #testing

Discovering Math APIs by Mining Unit Tests (AS, OP, AK), pp. 327–342.

FASE-2013-SakamotoTHWF #code generation #integration #named #testing #web

POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications (KS, KT, DH, HW, YF), pp. 343–358.

FASE-2013-CavalcantiH #csp #testing

Testing with Inputs and Outputs in CSP (AC, RMH), pp. 359–374.