Fundamental approaches to software engineering : 13th international conference, FASE 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings

This book constitutes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 25 papers presented were carefully reviewed and selected from 103 submissions. The volume also contains one invited talk. The topics covered are model transformation, software evolution, graph transformation, modeling concepts, verification, program analysis, testing and debugging, and performance modeling and analysis. Front Matter....Pages - Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization....Pages 1-12 A Formalisation of Constraint-Aware Model Transformations....Pages 13-28 Formal Real-Time Model Transformations in MOMENT2....Pages 29-43 Reusing Model Transformations While Preserving Properties....Pages 44-58 Are Popular Classes More Defect Prone?....Pages 59-73 Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation....Pages 74-90 A Method for Analyzing Code Homology in Genealogy of Evolving Software....Pages 91-106 Dynamic Resource Scheduling in Disruption-Prone Software Development Environments....Pages 107-122 Incremental Service Composition Based on Partial Matching of Visual Contracts....Pages 123-138 Formal Analysis and Verification of Self-Healing Systems....Pages 139-153 Stochastic Simulation of Graph Transformation Systems....Pages 154-157 Prescriptive Semantics for Big-Step Modelling Languages....Pages 158-172 A Modular Model Composition Technique....Pages 173-187 A Verifiable Modeling Approach to Configurable Role-Based Access Control....Pages 188-202 Incremental Consistency Checking of Dynamic Constraints....Pages 203-217 Proving Consistency and Completeness of Model Classes Using Theory Interpretation....Pages 218-232 Automatic Cross Validation of Multiple Specifications: A Case Study....Pages 233-247 An Automata-Theoretic Approach to Hardware/Software Co-verification....Pages 248-262 Shape Refinement through Explicit Heap Analysis....Pages 263-277 Memory Leaks Detection in Java by Bi-abductive Inference....Pages 278-292 Analyzing the Impact of Change in Multi-threaded Programs....Pages 293-307 Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques....Pages 308-322 A Lightweight and Portable Approach to Making Concurrent Failures Reproducible....Pages 323-337 Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups....Pages 338-352 Performance Modeling and Analysis of Context-Aware Mobile Software Systems....Pages 353-367 A Process to Effectively Identify “Guilty” Performance Antipatterns....Pages 368-382 Back Matter....Pages - This book constitutes the proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering, FASE 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. Includes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.