| 2021 | A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features. Aleksandar S. Dimovski, Sven Apel, Axel Legay |
| 2021 | An Abstract Contract Theory for Programs with Procedures. Christian Lidström, Dilian Gurov |
| 2021 | Bootstrapping Automated Testing for RESTful Web Services. Yixiong Chen, Yang Yang, Zhanyao Lei, Mingyuan Xia, Zhengwei Qi |
| 2021 | Certified Abstract Cost Analysis. Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel |
| 2021 | CoVEGI: Cooperative Verification via Externally Generated Invariants. Jan Haltermann, Heike Wehrheim |
| 2021 | CoVeriTest with Adaptive Time Scheduling (Competition Contribution). Marie-Christine Jakobs, Cedric Richter |
| 2021 | Compositional Analysis of Probabilistic Timed Graph Transformation Systems. Maria Maximova, Sven Schneider, 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, Nicolás Rosner, Marcelo Arroyo, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | Engineering Secure Self-Adaptive Systems with Bayesian Games. Nianyu Li, Mingyue Zhang, Eunsuk Kang, David Garlan |
| 2021 | Finding a Universal Execution Strategy for Model Transformation Networks. Joshua Gleitze, Heiko Klare, Erik Burger |
| 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 | Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings Esther Guerra, Mariëlle Stoelinga |
| 2021 | Keeping Pace with the History of Evolving Runtime Models. Lucas Sakizloglou, Matthias Barkowsky, Holger Giese |
| 2021 | On Benchmarking for Concurrent Runtime Verification. Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir |
| 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 | Paracosm: A Test Framework for Autonomous Driving Simulations. Rupak Majumdar, Aman Shankar Mathur, Marcus Pirron, Laura Stegner, Damien Zufferey |
| 2021 | SpecTest: Specification-Based Compiler Testing. Richard Schumi, Jun Sun |
| 2021 | Status Report on Software Testing: Test-Comp 2021. Dirk Beyer |
| 2021 | Symbiotic 8: Parallel and Targeted Test Generation - (Competition Contribution). Marek Chalupa, Jakub Novák, Jan Strejcek |
| 2021 | Understanding Local Robustness of Deep Neural Networks under Natural Variations. Ziyuan Zhong, Yuchi Tian, Baishakhi Ray |