| 2010 | A Formalisation of Constraint-Aware Model Transformations. Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter |
| 2010 | A Lightweight and Portable Approach to Making Concurrent Failures Reproducible. Qingzhou Luo, Sai Zhang, Jianjun Zhao, Min Hu |
| 2010 | A Method for Analyzing Code Homology in Genealogy of Evolving Software. Masatomo Hashimoto, Akira Mori |
| 2010 | A Modular Model Composition Technique. Pierre Kelsen, Qin Ma |
| 2010 | A Process to Effectively Identify "Guilty" Performance Antipatterns. Vittorio Cortellessa, Anne Martens, Ralf H. Reussner, Catia Trubiani |
| 2010 | A Verifiable Modeling Approach to Configurable Role-Based Access Control. Dae-Kyoo Kim, Lunjin Lu, Sangsig Kim |
| 2010 | An Automata-Theoretic Approach to Hardware/Software Co-verification. Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey |
| 2010 | Analyzing the Impact of Change in Multi-threaded Programs. Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez |
| 2010 | Are Popular Classes More Defect Prone? Alberto Bacchelli, Marco D'Ambros, Michele Lanza |
| 2010 | Automatic Cross Validation of Multiple Specifications: A Case Study. Carlo Ghezzi, Andrea Mocci, Guido Salvaneschi |
| 2010 | Dynamic Resource Scheduling in Disruption-Prone Software Development Environments. Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li |
| 2010 | Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups. Hermann Lehner, Peter Müller |
| 2010 | Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques. Steven Lauterburg, Rajesh K. Karmani, Darko Marinov, Gul Agha |
| 2010 | Formal Analysis and Verification of Self-Healing Systems. Hartmut Ehrig, Claudia Ermel, Olga Runge, Antonio Bucchiarone, Patrizio Pelliccione |
| 2010 | Formal Real-Time Model Transformations in MOMENT2. Artur Boronat, Peter Csaba Ölveczky |
| 2010 | 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 David S. Rosenblum, Gabriele Taentzer |
| 2010 | Incremental Consistency Checking of Dynamic Constraints. Iris Groher, Alexander Reder, Alexander Egyed |
| 2010 | Incremental Service Composition Based on Partial Matching of Visual Contracts. Muhammad Naeem, Reiko Heckel, Fernando Orejas, Frank Hermann |
| 2010 | Memory Leaks Detection in Java by Bi-abductive Inference. Dino Distefano, Ivana Filipovic |
| 2010 | Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation. Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Tien N. Nguyen |
| 2010 | Performance Modeling and Analysis of Context-Aware Mobile Software Systems. Luca Berardinelli, Vittorio Cortellessa, Antinisca Di Marco |
| 2010 | Prescriptive Semantics for Big-Step Modelling Languages. Shahram Esmaeilsabzali, Nancy A. Day |
| 2010 | Proving Consistency and Completeness of Model Classes Using Theory Interpretation. Ádám Darvas, Peter Müller |
| 2010 | Reusing Model Transformations While Preserving Properties. Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai |
| 2010 | Shape Refinement through Explicit Heap Analysis. Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz, Damien Zufferey |
| 2010 | Stochastic Simulation of Graph Transformation Systems. Paolo Torrini, Reiko Heckel, István Ráth |
| 2010 | Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization. Mark Harman |