| 2017 | Symbolic Model Generation for Graph Properties. | Sven Schneider, Leen Lambers, Fernando Orejas |
| 2017 | Selective Bisection Debugging. | Ripon Saha, Milos Gligoric |
| 2017 | Slicing from Formal Semantics: Chisel. | Adrin Riesco, Irina Mariuca Asavoae, Mihail Asavoae |
| 2017 | Bucketing Failing Tests via Symbolic Analysis. | Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury |
| 2017 | Bordeaux: A Tool for Thinking Outside the Box. | Vajih Montaghami, Derek Rayside |
| 2017 | Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques. | Erhan Leblebici, Anthony Anjorin, Andy Schrr |
| 2017 | Reusing Model Transformations Through Typing Requirements Models. | Juan de Lara, Juri Di Rocco, Davide Di Ruscio, Esther Guerra, Ludovico Iovino, Alfonso Pierantonio, Jess Snchez Cuadrado |
| 2017 | Inference and Evolution of TypeScript Declaration Files. | Erik Krogh Kristensen, Anders Mller |
| 2017 | Explicit Connection Actions in Multiparty Session Types. | Raymond Hu, Nobuko Yoshida |
| 2017 | OpenSAW: Open Security Analysis Workbench. | Noomene Ben Henda, Bjrn Johansson, Patrik Lantz, Karl Norrman, Pasi Saarinen, Oskar Segersvrd |
| 2017 | EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. | Jess Domnech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte |
| 2017 | Traceability Mappings as a Fundamental Instrument in Model Transformations. | Zinovy Diskin, Abel Gmez, Jordi Cabot |
| 2017 | Variability-Specific Abstraction Refinement for Family-Based Model Checking. | Aleksandar S. Dimovski, Andrzej Wasowski |
| 2017 | A Unified and Formal Programming Model for Deltas and Traits. | Ferruccio Damiani, Reiner Hhnle, Eduard Kamburjan, Michael Lienhardt |
| 2017 | A Deductive Approach for Fault Localization in ATL Model Transformations. | Zheng Cheng, Massimo Tisi |
| 2017 | Family-Based Model Checking with mCRL2. | Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse |
| 2017 | Visual Configuration of Mobile Privacy Policies. | Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia |
| 2017 | Precise Version Control of Trees with Line-Based Version Control Systems. | Dimitar Asenov, Balz Guenat, Peter Mller, Martin Otth |
| 2017 | On the Effectiveness of Bug Predictors with Procedural Systems: A Quantitative Study. | Cristiano Werner Arajo, Ingrid Nunes, Daltro Jos Nunes |
| 2017 | StaticGen: Static Generation of UML Sequence Diagrams. | Chris Alvin, Brian Peterson, Supratik Mukhopadhyay |
| 2017 | Change and Delay Contracts for Hybrid System Component Verification. | Andreas Mller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, Andr Platzer |
| 2016 | Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models. | Markus Weckesser, Malte Lochau, Thomas Schnabel, Bjrn Richerzhagen, Andy Schrr |
| 2016 | The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs. | Lei Wang, Han Li, Xinchen Wang |
| 2016 | An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems. | Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum, P. S. Thiagarajan |
| 2016 | Iterative and Incremental Model Generation by Logic Solvers. | Oszkr Semerth, Andrs Vrs, Dniel Varr |