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

This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this volume, together with one invited talk, were carefully reviewed and selected from 125 submissions. They have been organized in topical sections on: modeling and model transformation; time and performance; static analysis; scenario-based specification; software verification; analysis and repair; verification and validation; graph transformation and debugging and testing. Front Matter....Pages - Probabilistic Model Checking and Non-standard Multi-objective Reasoning....Pages 1-16 Target Oriented Relational Model Finding....Pages 17-31 Bidirectionally Tolerating Inconsistency: Partial Transformations....Pages 32-46 Splitting Models Using Information Retrieval and Model Crawling Techniques....Pages 47-62 Sound Merging and Differencing for Class Diagrams....Pages 63-78 Heterogeneous and Asynchronous Networks of Timed Systems....Pages 79-93 Family-Based Performance Analysis of Variant-Rich Software Systems....Pages 94-108 TouchCost: Cost Analysis of TouchDevelop Scripts....Pages 109-124 Efficient Incremental Static Analysis Using Path Abstraction....Pages 125-139 Type-Based Taint Analysis for Java Web Applications....Pages 140-154 Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities....Pages 155-169 Modularizing Early Architectural Assumptions in Scenario-Based Requirements....Pages 170-184 Semantically Configurable Analysis of Scenario-Based Specifications....Pages 185-199 Formal Verification of Medical Device User Interfaces Using PVS....Pages 200-214 Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs....Pages 215-229 Verifying Class Invariants in Concurrent Programs....Pages 230-245 Automatic Program Repair by Fixing Contracts....Pages 246-260 Dynamic Package Interfaces....Pages 261-275 SMT-Based Checking of SOLOIST over Sparse Traces....Pages 276-290 An Online Validator for Provenance: Algorithmic Design, Testing, and API....Pages 291-305 Comparator: A Tool for Quantifying Behavioural Compatibility....Pages 306-309 Transformation of Attributed Structures with Cloning....Pages 310-324 Implementing Graph Transformations in the Bulk Synchronous Parallel Model....Pages 325-339 Modularizing Triple Graph Grammars Using Rule Refinement....Pages 340-354 Polymorphic Single-Pushout Graph Transformation....Pages 355-369 Causal-Consistent Reversible Debugging....Pages 370-384 An Expressive Semantics of Mocking....Pages 385-399 Integration Testing in the Test Template Framework....Pages 400-414 Data Flow Coverage for Circus -Based Testing....Pages 415-429 Back Matter....Pages -