| 2013 | Andromeda: Accurate and Scalable Security Analysis of Web Applications. | Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri |
| 2013 | Model-Based Implementation of Parallel Real-Time Systems. | Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis |
| 2013 | Towards a Distributed Modeling Process Based on Composite Models. | Daniel Strber, Gabriele Taentzer, Stefan Jurack, Tim Schfer |
| 2013 | Discovering Math APIs by Mining Unit Tests. | Anirudh Santhiar, Omesh Pandita, Aditya Kanade |
| 2013 | Change Propagation due to Uncertainty Change. | Rick Salay, Jan Gorzny, Marsha Chechik |
| 2013 | POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications. | Kazunori Sakamoto, Kaizu Tomohiro, Daigo Hamura, Hironori Washizaki, Yoshiaki Fukazawa |
| 2013 | Quality of Merge-Refactorings for Product Lines. | Julia Rubin, Marsha Chechik |
| 2013 | Javanni: A Verifier for JavaScript. | Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia |
| 2013 | Implementing QVT-R Bidirectional Model Transformations Using Alloy. | Nuno Macedo, Alcino Cunha |
| 2013 | Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification. | Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett |
| 2013 | Discovering Branching Conditions from Business Process Execution Logs. | Massimiliano de Leoni, Marlon Dumas, Luciano Garca-Bauelos |
| 2013 | Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks. | John Lasseter, John Cipriano |
| 2013 | On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets. | Birgit Hofer, Andr Riboira, Franz Wotawa, Rui Abreu, Elisabeth Getzner |
| 2013 | On Extracting Feature Models from Sets of Valid Feature Combinations. | Evelyn Nicole Haslinger, Roberto Erick Lopez-Herrejon, Alexander Egyed |
| 2013 | VerChor: A Framework for Verifying Choreographies. | Matthias Gdemann, Pascal Poizat, Gwen Salan, Alexandre Dumont |
| 2013 | Variability in Software: State of the Art and Future Directions - (Extended Abstract). | Krzysztof Czarnecki |
| 2013 | Testing with Inputs and Outputs in CSP. | Ana Cavalcanti, Robert M. Hierons |
| 2013 | Enforcing QVT-R with mu-Calculus and Games. | Julian C. Bradfield, Perdita Stevens |
| 2013 | Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs. | Arbi Bouchoucha, Houari A. Sahraoui, Pierre L'Ecuyer |
| 2013 | A Mechanized Model for CAN Protocols. | Francesco Bongiovanni, Ludovic Henrio |
| 2013 | Explicit-State Software Model Checking Based on CEGAR and Interpolation. | Dirk Beyer, Stefan Lwe |
| 2013 | Abstraction and Training of Stochastic Graph Transformation Systems. | Mayur Bapodra, Reiko Heckel |
| 2013 | A Model-Based Synthesis Process for Choreography Realizability Enforcement. | Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli |
| 2013 | Scenario Realizability with Constraint Optimization. | Rouwaida Abdallah, Arnaud Gotlieb, Loc Hlout, Claude Jard |
| 2012 | Reduction of Test Suites Using Mutation. | Macario Polo Usaola, Pedro Reales Mateo, Beatriz Prez Lamancha |