| 2022 | FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution). | Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro |
| 2021 | Understanding Local Robustness of Deep Neural Networks under Natural Variations. | Ziyuan Zhong, Yuchi Tian, Baishakhi Ray |
| 2021 | PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems. | Yong-Jun Shin, Eunho Cho, Doo-Hwan Bae |
| 2021 | SpecTest: Specification-Based Compiler Testing. | Richard Schumi, Jun Sun |
| 2021 | Keeping Pace with the History of Evolving Runtime Models. | Lucas Sakizloglou, Matthias Barkowsky, Holger Giese |
| 2021 | Effects of Program Representation on Pointer Analyses - An Empirical Study. | Jyoti Prakash, Abhishek Tiwari, Christian Hammer |
| 2021 | Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. | Pablo Ponzio, Ariel Godio, Nicols Rosner, Marcelo Arroyo, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | Compositional Analysis of Probabilistic Timed Graph Transformation Systems. | Maria Maximova, Sven Schneider, Holger Giese |
| 2021 | Paracosm: A Test Framework for Autonomous Driving Simulations. | Rupak Majumdar, Aman Shankar Mathur, Marcus Pirron, Laura Stegner, Damien Zufferey |
| 2021 | Engineering Secure Self-Adaptive Systems with Bayesian Games. | Nianyu Li, Mingyue Zhang, Eunsuk Kang, David Garlan |
| 2021 | An Abstract Contract Theory for Programs with Procedures. | Christian Lidstrm, Dilian Gurov |
| 2021 | CoVeriTest with Adaptive Time Scheduling (Competition Contribution). | Marie-Christine Jakobs, Cedric Richter |
| 2021 | CoVEGI: Cooperative Verification via Externally Generated Invariants. | Jan Haltermann, Heike Wehrheim |
| 2021 | Finding a Universal Execution Strategy for Model Transformation Networks. | Joshua Gleitze, Heiko Klare, Erik Burger |
| 2021 | A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features. | Aleksandar S. Dimovski, Sven Apel, Axel Legay |
| 2021 | Bootstrapping Automated Testing for RESTful Web Services. | Yixiong Chen, Yang Yang, Zhanyao Lei, Mingyuan Xia, Zhengwei Qi |
| 2021 | Symbiotic 8: Parallel and Targeted Test Generation - (Competition Contribution). | Marek Chalupa, Jakub Novk, Jan Strejcek |
| 2021 | FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution). | Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro |
| 2021 | Certified Abstract Cost Analysis. | Elvira Albert, Reiner Hhnle, Alicia Merayo, Dominic Steinhfel |
| 2021 | On Benchmarking for Concurrent Runtime Verification. | Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Inglfsdttir |
| 2021 | Status Report on Software Testing: Test-Comp 2021. | Dirk Beyer |
| 2020 | Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic. | Guolong Zheng, Hamid Bagheri, Gregg Rothermel, Jianghao Wang |
| 2020 | Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming. | Nils Weidmann, Anthony Anjorin |
| 2020 | Global Reproducibility Through Local Control for Distributed Active Objects. | Lars Tveito, Einar Broch Johnsen, Rudolf Schlatte |
| 2020 | Towards Multiple Model Synchronization with Comprehensive Systems. | Patrick Stnkel, Harald Knig, Yngve Lamo, Adrian Rutle |