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.
Author(s): Mark Harman (auth.), David S. Rosenblum, Gabriele Taentzer (eds.)
Series: Lecture Notes in Computer Science 6013 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010
Language: English
Pages: 383
Tags: Software Engineering; Computer Communication Networks; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Programming Techniques; Management of Computing and Information Systems
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 -
