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

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

TCS
DBLP
Scholar
DOI
Full names Links ISxN
@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)

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.

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.