Fundamental Approaches to Software Engineering

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.