| 2014 | An Expressive Semantics of Mocking. Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes |
| 2014 | An Online Validator for Provenance: Algorithmic Design, Testing, and API. Luc Moreau, Trung Dong Huynh, Danius T. Michaelides |
| 2014 | Automatic Program Repair by Fixing Contracts. Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
| 2014 | Bidirectionally Tolerating Inconsistency: Partial Transformations. Perdita Stevens |
| 2014 | Causal-Consistent Reversible Debugging. Elena Giachino, Ivan Lanese, Claudio Antares Mezzina |
| 2014 | Comparator: A Tool for Quantifying Behavioural Compatibility. Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel |
| 2014 | Data Flow Coverage for Circus-Based Testing. Ana Cavalcanti, Marie-Claude Gaudel |
| 2014 | Dynamic Package Interfaces. Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey |
| 2014 | Efficient Incremental Static Analysis Using Path Abstraction. Rashmi Mudduluru, Murali Krishna Ramanathan |
| 2014 | Family-Based Performance Analysis of Variant-Rich Software Systems. Matthias Kowal, Ina Schaefer, Mirco Tribastone |
| 2014 | Formal Verification of Medical Device User Interfaces Using PVS. Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby |
| 2014 | Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings Stefania Gnesi, Arend Rensink |
| 2014 | Heterogeneous and Asynchronous Networks of Timed Systems. José Luiz Fiadeiro, Antónia Lopes |
| 2014 | Implementing Graph Transformations in the Bulk Synchronous Parallel Model. Christian Krause, Matthias Tichy, Holger Giese |
| 2014 | Integration Testing in the Test Template Framework. Maximiliano Cristiá, Joaquín Mesuro, Claudia S. Frydman |
| 2014 | Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities. Alireza Sadeghi, Naeem Esfahani, Sam Malek |
| 2014 | Modularizing Early Architectural Assumptions in Scenario-Based Requirements. Dimitri Van Landuyt, Wouter Joosen |
| 2014 | Modularizing Triple Graph Grammars Using Rule Refinement. Anthony Anjorin, Karsten Saller, Malte Lochau, Andy Schürr |
| 2014 | Polymorphic Single-Pushout Graph Transformation. Michael Löwe, Harald König, Christoph Schulz |
| 2014 | Probabilistic Model Checking and Non-standard Multi-objective Reasoning. Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich |
| 2014 | SMT-Based Checking of SOLOIST over Sparse Traces. Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro |
| 2014 | Semantically Configurable Analysis of Scenario-Based Specifications. Barak Cohen, Shahar Maoz |
| 2014 | Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs. Pedro de Carvalho Gomes, Attilio Picoco, Dilian Gurov |
| 2014 | Sound Merging and Differencing for Class Diagrams. Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski |
| 2014 | Splitting Models Using Information Retrieval and Model Crawling Techniques. Daniel Strüber, Julia Rubin, Gabriele Taentzer, Marsha Chechik |
| 2014 | Target Oriented Relational Model Finding. Alcino Cunha, Nuno Macedo, Tiago Guimarães |
| 2014 | TouchCost: Cost Analysis of TouchDevelop Scripts. Pietro Ferrara, Daniel Schweizer, Lucas Brutschy |
| 2014 | Transformation of Attributed Structures with Cloning. Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro |
| 2014 | Type-Based Taint Analysis for Java Web Applications. Wei Huang, Yao Dong, Ana L. Milanova |
| 2014 | Verifying Class Invariants in Concurrent Programs. Marina Zaharieva-Stojanovski, Marieke Huisman |