Stefania Gnesi, Arend Rensink
Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering
FASE, 2014.

@proceedings{FASE-2014,
	address       = "Grenoble, France",
	doi           = "10.1007/978-3-642-54804-8",
	editor        = "Stefania Gnesi and Arend Rensink",
	isbn          = "978-3-642-54803-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 8411,
	year          = 2014,
}

Contents (29 items)

4 ×#analysis
4 ×#using
3 ×#testing
2 ×#graph transformation
2 ×#java
2 ×#named
2 ×#performance
2 ×#semantics
2 ×#source code
2 ×#verification

FASE-2014-BaierDKDKMW #model checking #multi #probability #reasoning #standard

Probabilistic Model Checking and Non-standard Multi-objective Reasoning (CB, CD, SK, MD, JK, SM, SW), pp. 1–16.

FASE-2014-CunhaMG #relational

Target Oriented Relational Model Finding (AC, NM, TG), pp. 17–31.

FASE-2014-Stevens #bidirectional #consistency #nondeterminism

Bidirectionally Tolerating Inconsistency: Partial Transformations (PS), pp. 32–46.

FASE-2014-StruberRTC #crawling #information retrieval #modelling #using

Splitting Models Using Information Retrieval and Model Crawling Techniques (DS, JR, GT, MC), pp. 47–62.

FASE-2014-FahrenbergALW #diagrams #difference

Sound Merging and Differencing for Class Diagrams (UF, MA, AL, AW), pp. 63–78.

FASE-2014-FiadeiroL #network

Heterogeneous and Asynchronous Networks of Timed Systems (JLF, AL), pp. 79–93.

FASE-2014-KowalST #analysis #performance

Family-Based Performance Analysis of Variant-Rich Software Systems (MK, IS, MT), pp. 94–108.

FASE-2014-FerraraSB #cost analysis #named

TouchCost: Cost Analysis of TouchDevelop Scripts (PF, DS, LB), pp. 109–124.

FASE-2014-MudduluruR #abstraction #incremental #performance #static analysis #using

Efficient Incremental Static Analysis Using Path Abstraction (RM, MKR), pp. 125–139.

FASE-2014-HuangDM #analysis #java #type system #web

Type-Based Taint Analysis for Java Web Applications (WH, YD, AM), pp. 140–154.

FASE-2014-SadeghiEM #analysis #mining #repository #security

Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities (AS, NE, SM), pp. 155–169.

FASE-2014-LanduytJ #architecture #requirements

Modularizing Early Architectural Assumptions in Scenario-Based Requirements (DVL, WJ), pp. 170–184.

FASE-2014-CohenM #analysis #configuration management #semantics #specification

Semantically Configurable Analysis of Scenario-Based Specifications (BC, SM), pp. 185–199.

FASE-2014-MasciZJCT #user interface #using #verification

Formal Verification of Medical Device User Interfaces Using PVS (PM, YZ, PLJ, PC, HWT), pp. 200–214.

FASE-2014-GomesPG #bytecode #control flow #graph #java #source code

Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs (PdCG, AP, DG), pp. 215–229.

FASE-2014-Zaharieva-StojanovskiH #concurrent #invariant #source code #verification

Verifying Class Invariants in Concurrent Programs (MZS, MH), pp. 230–245.

FASE-2014-PeiFNM #automation #contract #program repair

Automatic Program Repair by Fixing Contracts (YP, CAF, MN, BM), pp. 246–260.

FASE-2014-EsmaeilsabzaliMWZ #interface

Dynamic Package Interfaces (SE, RM, TW, DZ), pp. 261–275.

FASE-2014-BersaniBGKP #smt

SMT-Based Checking of SOLOIST over Sparse Traces (MMB, DB, CG, SK, PSP), pp. 276–290.

FASE-2014-MoreauHM #algorithm #api #design #online #testing #validation

An Online Validator for Provenance: Algorithmic Design, Testing, and API (LM, TDH, DTM), pp. 291–305.

FASE-2014-OuederniSCP #behaviour #named

Comparator: A Tool for Quantifying Behavioural Compatibility (MO, GS, JC, EP), pp. 306–309.

FASE-2014-DuvalEPR

Transformation of Attributed Structures with Cloning (DD, RE, FP, LR), pp. 310–324.

FASE-2014-KrauseTG #graph transformation #implementation #parallel

Implementing Graph Transformations in the Bulk Synchronous Parallel Model (CK, MT, HG), pp. 325–339.

FASE-2014-AnjorinSLS #graph grammar #refinement #using

Modularizing Triple Graph Grammars Using Rule Refinement (AA, KS, ML, AS), pp. 340–354.

FASE-2014-LoweKS #category theory #graph transformation #polymorphism

Polymorphic Single-Pushout Graph Transformation (ML, HK, CS), pp. 355–369.

FASE-2014-GiachinoLM #debugging

Causal-Consistent Reversible Debugging (EG, IL, CAM), pp. 370–384.

FASE-2014-SvenningssonSSANH #semantics

An Expressive Semantics of Mocking (JS, HS, NS, TA, UN, JH), pp. 385–399.

FASE-2014-CristiaMF #framework #integration #testing

Integration Testing in the Test Template Framework (MC, JM, CSF), pp. 400–414.

FASE-2014-CavalcantiG #data flow #testing

Data Flow Coverage for Circus-Based Testing (AC, MCG), pp. 415–429.