| 2012 | A Conceptual Framework for Adaptation. Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
| 2012 | A Domain-Specific Language for Scripting Refactorings in Erlang. Huiqing Li, Simon J. Thompson |
| 2012 | A New Design Defects Classification: Marrying Detection and Correction. Rim Mahouachi, Marouane Kessentini, Khaled Ghédira |
| 2012 | Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems. Leo Hatvani, Paul Pettersson, Cristina Cerschi Seceleanu |
| 2012 | An Operational Decision Support Framework for Monitoring Business Constraints. Fabrizio Maria Maggi, Marco Montali, Wil M. P. van der Aalst |
| 2012 | Applying Design by Contract to Feature-Oriented Programming. Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake |
| 2012 | Cohesive and Isolated Development with Branches. Earl T. Barr, Christian Bird, Peter C. Rigby, Abram Hindle, Daniel M. Germán, Premkumar T. Devanbu |
| 2012 | Combining Related Products into Product Lines. Julia Rubin, Marsha Chechik |
| 2012 | Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas |
| 2012 | Consistency of Service Composition. José Luiz Fiadeiro, Antónia Lopes |
| 2012 | Distributed Process Discovery and Conformance Checking. Wil M. P. van der Aalst |
| 2012 | Explanations for Regular Expressions. Martin Erwig, Rahul Gopinath |
| 2012 | Extracting Widget Descriptions from GUIs. Giovanni Becce, Leonardo Mariani, Oliviero Riganelli, Mauro Santoro |
| 2012 | Fine Slicing - Theory and Applications for Computation Extraction. Aharon Abadi, Ran Ettinger, Yishai A. Feldman |
| 2012 | Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings Juan de Lara, Andrea Zisman |
| 2012 | Graph Transforming Java Data. Maarten de Mol, Arend Rensink, James J. Hunt |
| 2012 | Integration Testing of Software Product Lines Using Compositional Symbolic Execution. Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer |
| 2012 | Intermodeling, Queries, and Kleisli Categories. Zinovy Diskin, T. S. E. Maibaum, Krzysztof Czarnecki |
| 2012 | Language Independent Refinement Using Partial Modeling. Rick Salay, Michalis Famelis, Marsha Chechik |
| 2012 | Language-Theoretic Abstraction Refinement. Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer |
| 2012 | Learning from Vacuously Satisfiable Scenario-Based Specifications. Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel |
| 2012 | Loose Programming with PROPHETS. Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen |
| 2012 | Making Software Integration Really Continuous. Mário Luís Guimarães, António Rito Silva |
| 2012 | Model-Based Filtering of Combinatorial Test Suites. Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella |
| 2012 | Model-Driven Techniques to Enhance Architectural Languages Interoperability. Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio |
| 2012 | Moving from Specifications to Contracts in Component-Based Design. Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski |
| 2012 | On the Danger of Coverage Directed Test Case Generation. Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl |
| 2012 | Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus. Julian C. Bradfield, Perdita Stevens |
| 2012 | Reduction of Test Suites Using Mutation. Macario Polo Usaola, Pedro Reales Mateo, Beatriz Pérez Lamancha |
| 2012 | Schedule Insensitivity Reduction. Vineet Kahlon |
| 2012 | Stable Availability under Denial of Service Attacks through Formal Patterns. Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing |
| 2012 | System Dependence Graphs in Sequential Erlang. Josep Silva, Salvador Tamarit, César Tomás |
| 2012 | The SynchAADL2Maude Tool. Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem |
| 2012 | Tracing Your Maintenance Work - A Cross-Project Validation of an Automated Classification Dictionary for Commit Messages. Andreas Mauczka, Markus Huber, Christian Schanes, Wolfgang Schramm, Mario Bernhart, Thomas Grechenig |
| 2012 | Verified Resource Guarantees for Heap Manipulating Programs. Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez |