| 2019 | CoVeriTest: Cooperative Verifier-Based Testing. | Dirk Beyer, Marie-Christine Jakobs |
| 2019 | Checking Observational Purity of Procedures. | Himanshu Arora, Raghavan Komondoor, G. Ramalingam |
| 2018 | A Formal Framework for Incremental Model Slicing. | Gabriele Taentzer, Timo Kehrer, Christopher Pietsch, Udo Kelter |
| 2018 | Iterative Generation of Diverse Models for Testing Specifications of DSL Tools. | Oszkr Semerth, Dniel Varr |
| 2018 | Controlling the Attack Surface of Object-Oriented Refactorings. | Sebastian Ruland, Gza Kulcsr, Erhan Leblebici, Sven Peldszus, Malte Lochau |
| 2018 | Untitled record | Joonyoung Park, Kwangwon Sun, Sukyoung Ryu |
| 2018 | Supporting Verification-Driven Incremental Distributed Design of Components. | Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi |
| 2018 | Hierarchical Specification and Verification of Architectural Design Patterns. | Diego Marmsoler |
| 2018 | ROLA: A New Distributed Transaction Protocol and Its Formal Analysis. | Si Liu, Peter Csaba lveczky, Keshav Santhanam, Qi Wang, Indranil Gupta, Jos Meseguer |
| 2018 | Fast Computation of Arbitrary Control Dependencies. | Jean-Christophe Lchenet, Nikolai Kosmatov, Pascale Le Gall |
| 2018 | Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. | David Landsberg, Youcheng Sun, Daniel Kroening |
| 2018 | TCM: Test Case Mutation to Improve Crash Detection in Android. | Yavuz Kroglu, Alper Sen |
| 2018 | Summarizing Software API Usage Examples Using Clustering Techniques. | Nikolaos Katirtzis, Themistoklis Diamantopoulos, Charles Sutton |
| 2018 | A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism. | Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo |
| 2018 | Multiple Model Synchronization with Multiary Delta Lenses. | Zinovy Diskin, Harald Knig, Mark Lawford |
| 2018 | Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL\(^{\star }\). | Aleksandar S. Dimovski |
| 2018 | CRETE: A Versatile Binary-Level Concolic Testing Framework. | Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie |
| 2018 | FPH: Efficient Non-commutativity Analysis of Feature-Based Systems. | Marsha Chechik, Ioanna Stavropoulou, Cynthia Disenfeld, Julia Rubin |
| 2018 | Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems. | Mrton Br, Gbor S. Szilgyi, Andrs Vrs, Dniel Varr |
| 2018 | Effective Analysis of Attack Trees: A Model-Driven Approach. | Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Marille Stoelinga |
| 2018 | Taming Multi-Variability of Software Product Line Transformations. | Daniel Strber, Sven Peldszus, Jan Jrjens |
| 2017 | GTS Families for the Flexible Composition of Graph Transformation Systems. | Steffen Zschaler, Francisco Durn |
| 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 | Automated Workarounds from Java Program Specifications Based on SAT Solving. | Marcelo Uva, Pablo Ponzio, Germn Regis, Nazareno Aguirre, Marcelo F. Frias |
| 2017 | Change-Preserving Model Repair. | Gabriele Taentzer, Manuel Ohrndorf, Yngve Lamo, Adrian Rutle |