| 2011 | A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications. Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer |
| 2011 | A Step-Wise Approach for Integrating QoS throughout Software Development. Stéphanie Gatti, Emilie Balland, Charles Consel |
| 2011 | An Empirical Study of Long-Lived Code Clones. Dongxiang Cai, Miryung Kim |
| 2011 | An Empirical Study on Evolution of API Documentation. Lin Shi, Hao Zhong, Tao Xie, Mingshu Li |
| 2011 | An Interface Theory for Service-Oriented Design. José Luiz Fiadeiro, Antónia Lopes |
| 2011 | Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? Bashar Gharaibeh, Hridesh Rajan, J. Morris Chang |
| 2011 | Automated Driver Generation for Analysis of Web Applications. Oksana Tkachuk, Sreeranga P. Rajan |
| 2011 | Automated Learning of Probabilistic Assumptions for Compositional Reasoning. Lu Feng, Marta Z. Kwiatkowska, David Parker |
| 2011 | Automatic Flow Analysis for Event-B. Jens Bendisposto, Michael Leuschel |
| 2011 | Evolving a Test Oracle in Black-Box Testing. Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Kai-Hsiang Chang |
| 2011 | Flow-Augmented Call Graph: A New Foundation for Taming API Complexity. Qirun Zhang, Wujie Zheng, Michael R. Lyu |
| 2011 | Formalizing and Operationalizing Industrial Standards. Dominik Dietrich, Lutz Schröder, Ewaryst Schulz |
| 2011 | Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings Dimitra Giannakopoulou, Fernando Orejas |
| 2011 | Incremental Clone Detection and Elimination for Erlang Programs. Huiqing Li, Simon J. Thompson |
| 2011 | Model Checking Büchi Pushdown Systems. Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin |
| 2011 | Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior. Claudia Ermel, Jürgen Gall, Leen Lambers, Gabriele Taentzer |
| 2011 | Modelling Non-linear Crowd Dynamics in Bio-PEPA. Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston |
| 2011 | Models within Models: Taming Model Complexity Using the Sub-model Lattice. Pierre Kelsen, Qin Ma, Christian Glodt |
| 2011 | On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts. Tamim Ahmed Khan, Reiko Heckel |
| 2011 | Retrofitting Unit Tests for Parameterized Unit Testing. Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
| 2011 | Seamless Testing for Models and Code. Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith |
| 2011 | Search-Based Design Defects Detection by Example. Marouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum, Manuel Wimmer |
| 2011 | Semantic Quality Attributes for Big-Step Modelling Languages. Shahram Esmaeilsabzali, Nancy A. Day |
| 2011 | Smart Reduction. Pepijn Crouzen, Frédéric Lang |
| 2011 | Systematic Development of UMLsec Design Models Based on Security Requirements. Denis Hatebur, Maritta Heisel, Jan Jürjens, Holger Schmidt |
| 2011 | Testing Container Classes: Random or Systematic? Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov |
| 2011 | The Dependability of Complex Socio-technical Systems. Ross J. Anderson |
| 2011 | Theoretical Aspects of Compositional Symbolic Execution. Dries Vanoverberghe, Frank Piessens |
| 2011 | Type-Safe Evolution of Spreadsheets. Jácome Cunha, Joost Visser, Tiago L. Alves, João Saraiva |
| 2011 | Uniform Monte-Carlo Model Checking. Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet |
| 2011 | Where the Truth Lies: AOP and Its Impact on Software Modularity. Adam Przybylek |
| 2011 | rt-Inconsistency: A New Property for Real-Time Requirements. Amalinda Post, Jochen Hoenicke, Andreas Podelski |