TY  - BOOK
AU  - Gnesi,Stefania
AU  - Rensink,Arend
TI  - Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings 
SN  - 9783642548048
PY  - 2014///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Mathematical logic
N1  - Probabilistic Model Checking and Non-standard Multi-objective Reasoning -- Target Oriented Relational Model Finding -- Splitting Models Using Information Retrieval and Model Crawling Techniques -- Sound Merging and Differencing for Class Diagrams -- Heterogeneous and Asynchronous Networks of Timed Systems -- Family-Based Performance Analysis of Variant-Rich Software Systems -- Touch Cost: Cost Analysis of Touch Develop Scripts -- Efficient Incremental Static Analysis Using Path Abstraction -- Type-Based Taint Analysis for Java Web Applications -- Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities -- Modularizing Early Architectural Assumptions in Scenario-Based Requirements -- Semantically Configurable Analysis of Scenario-Based Specifications -- Formal Verification of Medical Device User Interfaces Using PVS -- Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs -- Verifying Class Invariants in Concurrent Programs -- Automatic Program Repair by Fixing Contracts -- Dynamic Package Interfaces -- SMT-Based Checking of SOLOIST over Sparse Traces -- An Online Validator for Provenance: Algorithmic Design, Testing and API -- Comparator: A Tool for Quantifying Behavioural Compatibility -- Transformation of Attributed Structures with Cloning -- Implementing Graph Transformations in the Bulk Synchronous Parallel Model -- Modularizing Triple Graph Grammars Using Rule Refinement -- Polymorphic Single-Pushout Graph Transformation -- Causal-Consistent Reversible Debugging -- An Expressive Semantics of Mocking -- Integration Testing in the Test Template Framework -- Data Flow Coverage for Circus-Based Testing
UR  - http://dx.doi.org/10.1007/978-3-642-54804-8
ER  -