| 2014 | Efficient Incremental Static Analysis Using Path Abstraction. | Rashmi Mudduluru, Murali Krishna Ramanathan |
| 2014 | An Online Validator for Provenance: Algorithmic Design, Testing, and API. | Luc Moreau, Trung Dong Huynh, Danius T. Michaelides |
| 2014 | Formal Verification of Medical Device User Interfaces Using PVS. | Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby |
| 2014 | Polymorphic Single-Pushout Graph Transformation. | Michael Lwe, Harald Knig, Christoph Schulz |
| 2014 | Modularizing Early Architectural Assumptions in Scenario-Based Requirements. | Dimitri Van Landuyt, Wouter Joosen |
| 2014 | Implementing Graph Transformations in the Bulk Synchronous Parallel Model. | Christian Krause, Matthias Tichy, Holger Giese |
| 2014 | Family-Based Performance Analysis of Variant-Rich Software Systems. | Matthias Kowal, Ina Schaefer, Mirco Tribastone |
| 2014 | Type-Based Taint Analysis for Java Web Applications. | Wei Huang, Yao Dong, Ana L. Milanova |
| 2014 | Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs. | Pedro de Carvalho Gomes, Attilio Picoco, Dilian Gurov |
| 2014 | Causal-Consistent Reversible Debugging. | Elena Giachino, Ivan Lanese, Claudio Antares Mezzina |
| 2014 | Heterogeneous and Asynchronous Networks of Timed Systems. | Jos Luiz Fiadeiro, Antnia Lopes |
| 2014 | TouchCost: Cost Analysis of TouchDevelop Scripts. | Pietro Ferrara, Daniel Schweizer, Lucas Brutschy |
| 2014 | Sound Merging and Differencing for Class Diagrams. | Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wasowski |
| 2014 | Dynamic Package Interfaces. | Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey |
| 2014 | Transformation of Attributed Structures with Cloning. | Dominique Duval, Rachid Echahed, Frdric Prost, Leila Ribeiro |
| 2014 | Target Oriented Relational Model Finding. | Alcino Cunha, Nuno Macedo, Tiago Guimares |
| 2014 | Integration Testing in the Test Template Framework. | Maximiliano Cristi, Joaqun Mesuro, Claudia S. Frydman |
| 2014 | Semantically Configurable Analysis of Scenario-Based Specifications. | Barak Cohen, Shahar Maoz |
| 2014 | Data Flow Coverage for Circus-Based Testing. | Ana Cavalcanti, Marie-Claude Gaudel |
| 2014 | SMT-Based Checking of SOLOIST over Sparse Traces. | Marcello Maria Bersani, Domenico Bianculli, Carlo Ghezzi, Srdan Krstic, Pierluigi San Pietro |
| 2014 | Probabilistic Model Checking and Non-standard Multi-objective Reasoning. | Christel Baier, Clemens Dubslaff, Sascha Klppelholz, Marcus Daum, Joachim Klein, Steffen Mrcker, Sascha Wunderlich |
| 2014 | Modularizing Triple Graph Grammars Using Rule Refinement. | Anthony Anjorin, Karsten Saller, Malte Lochau, Andy Schrr |
| 2014 | Automatic Program Repair by Fixing Contracts. | Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
| 2013 | Exposing Behavioral Differences in Cross-Language API Mapping Relations. | Hao Zhong, Suresh Thummalapenta, Tao Xie |
| 2013 | A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications. | Wei Yang, Mukul R. Prasad, Tao Xie |