| 2026 | FDSE v2: Variable Importance Guided Hybrid Fuzzing (Competition Contribution). | Guofeng Zhang, Zhenbang Chen, Ji Wang |
| 2026 | DivKC: A Divide-and-Conquer Approach to Knowledge Compilation. | Olivier Zeyen, Karim Tit, Maxime Cordy, Gilles Perrouin |
| 2026 | Towards Decentralised Dynamic Reconfiguration of Software Systems. | Mina Yavari, Damian Arellanes |
| 2026 | From Words to Code: Do NLP Prompting Strategies Generalize to Code Generation? | Erin Woo, Sangyeop Yeo, Hyungkook Jun, Sangcheol Kim, Seung-won Hwang, Yu-Seung Ma |
| 2026 | Search-based Software Testing for Drone Applications: An Experience with the Simulink Environment. | Annalisa Sergi, Yousef Ahmed Abdel Rahman Shoeib, Andrea Bombarda, Nunzio Marco Bisceglia, Claudio Menghi |
| 2026 | Don't go MAD with Anomalies! Design-time Microservice Anomaly Detection in Migration to Microservices. | Valentim Romo, Joo Rafael Pinto Soares, Lus E. T. Rodrigues, Vasco Manquinho |
| 2026 | Sikraken: Symbolic Execution using Constraint Logic Programming for Generating Test Inputs (Competition Contribution). | Christophe Meudec |
| 2026 | QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs. | Junjie Luo, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao |
| 2026 | Analyses as First-Class Citizens in Model-Driven Development. | Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert |
| 2026 | AFL-TC: Transforming Fuzzer Test Inputs for Test-Comp (Competition Contribution). | Thomas Lemberger, Henrik Wachowitz |
| 2026 | ForumSeeker: Fusion Retrieval of Online Technical Forums for Effective Troubleshooting. | Youyang Kim, Yaoping Ruan, Young-Kyoon Suh, Liqiang Wang, Byungchul Tak |
| 2026 | LusGen: Leveraging LLMs for Safety-Critical Lustre Design and Requirements Traceability. | Yili Jiang, Zhuoran Yan, Ning Ge, Yuan Wang, Jiahao Weng, Chunming Hu |
| 2026 | Revisiting the Role of Natural Language Code Comments in Code Translation. | Monika Gupta, Ajay Meena, Anamitra Roy Choudhury, Vijay Arya, Srikanta Bedathur |
| 2026 | Modeling and Analyzing Planning-Aware Distributed Cyber-Physical Systems with Timed Graph Transformation Systems. | Mustafa Ghani, Holger Giese |
| 2026 | Quantifying Privacy Risks in Synthetic Data: A Study on Black-Box Membership Inference. | Giacomo Fantino, Marco Rondina, Antonio Vetr, Juan Carlos De Martin |
| 2026 | TestCoCa: Test-Suite Coverage Calculator (Competition Contribution). | Martin Ergang, Marek Trtk |
| 2026 | Abstract Symbolic Finite Automata for Algorithmic Game Semantics. | Aleksandar S. Dimovski |
| 2026 | Unified Timing-Aware Program Verification. | Dra Cziborov, Mihly Dobos-Kovcs, Kristf Marussy, Andrs Vrs |
| 2026 | Formally Correct Search for Interpretable DNFs. | Imane Bousdira, Martin C. Cooper, Aurlie Hurault |
| 2026 | Composing Clinical Activity Guidance for Multimorbidity via Bounded Relational Analysis. | Artur Boronat |
| 2026 | Failure Modes and Effects Analysis: An Experience from the E-Bike Domain. | Andrea Bombarda, Federico Conti, Marcello Minervini, Aurora Francesca Zanenga, Claudio Menghi |
| 2026 | Testing in Formal Verification via Witness Generation (Empirical Evaluation). | Dirk Beyer, Thomas Lemberger, Henrik Wachowitz |
| 2026 | Evaluating Tools for Automatic Software Testing (Report on Test-Comp 2026). | Dirk Beyer |
| 2026 | Model Checking in Space with Applications to Medical Image Analysis - Invited Abstract. | Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2026 | Timed Contract Automata. | Bernhard Beckert, Andreas Bremer, Alexander Weigl |