| 2017 | A Deductive Approach for Fault Localization in ATL Model Transformations. Zheng Cheng, Massimo Tisi |
| 2017 | A Unified and Formal Programming Model for Deltas and Traits. Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt |
| 2017 | Automated Workarounds from Java Program Specifications Based on SAT Solving. Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias |
| 2017 | Bordeaux: A Tool for Thinking Outside the Box. Vajih Montaghami, Derek Rayside |
| 2017 | Bucketing Failing Tests via Symbolic Analysis. Van-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury |
| 2017 | Change and Delay Contracts for Hybrid System Component Verification. Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer |
| 2017 | Change-Preserving Model Repair. Gabriele Taentzer, Manuel Ohrndorf, Yngve Lamo, Adrian Rutle |
| 2017 | EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools. Jesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte |
| 2017 | Explicit Connection Actions in Multiparty Session Types. Raymond Hu, Nobuko Yoshida |
| 2017 | Family-Based Model Checking with mCRL2. Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse |
| 2017 | Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings Marieke Huisman, Julia Rubin |
| 2017 | GTS Families for the Flexible Composition of Graph Transformation Systems. Steffen Zschaler, Francisco Durán |
| 2017 | Inference and Evolution of TypeScript Declaration Files. Erik Krogh Kristensen, Anders Møller |
| 2017 | Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques. Erhan Leblebici, Anthony Anjorin, Andy Schürr |
| 2017 | On the Effectiveness of Bug Predictors with Procedural Systems: A Quantitative Study. Cristiano Werner Araújo, Ingrid Nunes, Daltro José Nunes |
| 2017 | OpenSAW: Open Security Analysis Workbench. Noomene Ben Henda, Björn Johansson, Patrik Lantz, Karl Norrman, Pasi Saarinen, Oskar Segersvärd |
| 2017 | Precise Version Control of Trees with Line-Based Version Control Systems. Dimitar Asenov, Balz Guenat, Peter Müller, Martin Otth |
| 2017 | Reusing Model Transformations Through Typing Requirements Models. Juan de Lara, Juri Di Rocco, Davide Di Ruscio, Esther Guerra, Ludovico Iovino, Alfonso Pierantonio, Jesús Sánchez Cuadrado |
| 2017 | Selective Bisection Debugging. Ripon Saha, Milos Gligoric |
| 2017 | Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study. Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang |
| 2017 | Slicing from Formal Semantics: Chisel. Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae |
| 2017 | StaticGen: Static Generation of UML Sequence Diagrams. Chris Alvin, Brian Peterson, Supratik Mukhopadhyay |
| 2017 | Symbolic Model Generation for Graph Properties. Sven Schneider, Leen Lambers, Fernando Orejas |
| 2017 | Traceability Mappings as a Fundamental Instrument in Model Transformations. Zinovy Diskin, Abel Gómez, Jordi Cabot |
| 2017 | Variability-Specific Abstraction Refinement for Family-Based Model Checking. Aleksandar S. Dimovski, Andrzej Wasowski |
| 2017 | Visual Configuration of Mobile Privacy Policies. Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia |