| 2012 | Model-Based Filtering of Combinatorial Test Suites. | Taha Triki, Yves Ledru, Lydie du Bousquet, Frdric Dadeau, Julien Botella |
| 2012 | Applying Design by Contract to Feature-Oriented Programming. | Thomas Thm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake |
| 2012 | On the Danger of Coverage Directed Test Case Generation. | Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl |
| 2012 | System Dependence Graphs in Sequential Erlang. | Josep Silva, Salvador Tamarit, Csar Toms |
| 2012 | Integration Testing of Software Product Lines Using Compositional Symbolic Execution. | Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer |
| 2012 | Language Independent Refinement Using Partial Modeling. | Rick Salay, Michalis Famelis, Marsha Chechik |
| 2012 | Model-Driven Techniques to Enhance Architectural Languages Interoperability. | Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio |
| 2012 | Combining Related Products into Product Lines. | Julia Rubin, Marsha Chechik |
| 2012 | Loose Programming with PROPHETS. | Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen |
| 2012 | Graph Transforming Java Data. | Maarten de Mol, Arend Rensink, James J. Hunt |
| 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 | A New Design Defects Classification: Marrying Detection and Correction. | Rim Mahouachi, Marouane Kessentini, Khaled Ghdira |
| 2012 | An Operational Decision Support Framework for Monitoring Business Constraints. | Fabrizio Maria Maggi, Marco Montali, Wil M. P. van der Aalst |
| 2012 | Language-Theoretic Abstraction Refinement. | Zhenyue Long, Georgel Calin, Rupak Majumdar, Roland Meyer |
| 2012 | A Domain-Specific Language for Scripting Refactorings in Erlang. | Huiqing Li, Simon J. Thompson |
| 2012 | Schedule Insensitivity Reduction. | Vineet Kahlon |
| 2012 | Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars. | Frank Hermann, Hartmut Ehrig, Claudia Ermel, Fernando Orejas |
| 2012 | Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems. | Leo Hatvani, Paul Pettersson, Cristina Cerschi Seceleanu |
| 2012 | Making Software Integration Really Continuous. | Mrio Lus Guimares, Antnio Rito Silva |
| 2012 | Consistency of Service Composition. | Jos Luiz Fiadeiro, Antnia Lopes |
| 2012 | Explanations for Regular Expressions. | Martin Erwig, Rahul Gopinath |
| 2012 | Stable Availability under Denial of Service Attacks through Formal Patterns. | Jonas Eckhardt, Tobias Mhlbauer, Musab AlTurki, Jos Meseguer, Martin Wirsing |
| 2012 | Intermodeling, Queries, and Kleisli Categories. | Zinovy Diskin, T. S. E. Maibaum, Krzysztof Czarnecki |
| 2012 | A Conceptual Framework for Adaptation. | Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
| 2012 | Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus. | Julian C. Bradfield, Perdita Stevens |