13. FASE 2010: Paphos, Cyprus (Part of ETAPS 2010)

David S. Rosenblum, Gabriele Taentzer (Eds.): 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. Lecture Notes in Computer Science 6013 Springer 2010, ISBN 978-3-642-12028-2

Invited Speaker

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/Harman10
- ask others
Mark Harman: Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization. 1-12

Model Transformation

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/RutleRLW10
- ask others
Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter: A Formalisation of Constraint-Aware Model Transformations. 13-28
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/BoronatO10
- ask others
Artur Boronat, Peter Csaba Ölveczky: Formal Real-Time Model Transformations in MOMENT2. 29-43
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/JacksonSBK10
- ask others
Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai: Reusing Model Transformations While Preserving Properties. 44-58

Software Evolution

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/BacchelliDL10
- ask others
Alberto Bacchelli, Marco D'Ambros, Michele Lanza: Are Popular Classes More Defect Prone? 59-73
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/NguyenNPN10
- ask others
Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Tien N. Nguyen: Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation. 74-90
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/HashimotoM10
- ask others
Masatomo Hashimoto, Akira Mori: A Method for Analyzing Code Homology in Genealogy of Evolving Software. 91-106
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/XiaoOWL10
- ask others
Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li: Dynamic Resource Scheduling in Disruption-Prone Software Development Environments. 107-122

Graph Transformation

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/NaeemHOH10
- ask others
Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann: Incremental Service Composition Based on Partial Matching of Visual Contracts. 123-138
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/EhrigERBP10
- ask others
Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione: Formal Analysis and Verification of Self-Healing Systems. 139-153
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/TorriniHR10
- ask others
Paolo Torrini, Reiko Heckel, István Ráth: Stochastic Simulation of Graph Transformation Systems. 154-157

Modeling Concepts

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/EsmaeilsabzaliD10
- ask others
Shahram Esmaeilsabzali, Nancy A. Day: Prescriptive Semantics for Big-Step Modelling Languages. 158-172
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/KelsenM10
- ask others
Pierre Kelsen, Qin Ma: A Modular Model Composition Technique. 173-187
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/KimLK10
- ask others
Dae-Kyoo Kim, Lunjin Lu, Sangsig Kim: A Verifiable Modeling Approach to Configurable Role-Based Access Control. 188-202
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/GroherRE10
- ask others
Iris Groher, Alexander Reder, Alexander Egyed: Incremental Consistency Checking of Dynamic Constraints. 203-217

Verification

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/DarvasM10
- ask others
Ádám Darvas, Peter Müller: Proving Consistency and Completeness of Model Classes Using Theory Interpretation. 218-232
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/GhezziMS10
- ask others
Carlo Ghezzi, Andrea Mocci, Guido Salvaneschi: Automatic Cross Validation of Multiple Specifications: A Case Study. 233-247
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/LiXBLM10
- ask others
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey: An Automata-Theoretic Approach to Hardware/Software Co-verification. 248-262

Program Analysis

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/BeyerHTZ10
- ask others
Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz, Damien Zufferey: Shape Refinement through Explicit Heap Analysis. 263-277
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/DistefanoF10
- ask others
Dino Distefano, Ivana Filipovic: Memory Leaks Detection in Java by Bi-abductive Inference. 278-292
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/ChatterjeeARS10
- ask others
Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez: Analyzing the Impact of Change in Multi-threaded Programs. 293-307

Testing and Debugging

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/LauterburgKMA10
- ask others
Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha: Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. 308-322
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/LuoZZH10
- ask others
Qingzhou Luo, Sai Zhang, Jianjun Zhao, Min Hu: A Lightweight and Portable Approach to Making Concurrent Failures Reproducible. 323-337
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/LehnerM10
- ask others
Hermann Lehner, Peter Müller: Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups. 338-352

Performance Modeling and Analysis

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/BerardinelliCM10
- ask others
Luca Berardinelli, Vittorio Cortellessa, Antinisca Di Marco: Performance Modeling and Analysis of Context-Aware Mobile Software Systems. 353-367
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fase/CortellessaMRT10
- ask others
Vittorio Cortellessa, Anne Martens, Ralf Reussner, Catia Trubiani: A Process to Effectively Identify "Guilty" Performance Antipatterns. 368-382