| 2026 | AFL-TC: Transforming Fuzzer Test Inputs for Test-Comp (Competition Contribution). Thomas Lemberger, Henrik Wachowitz |
| 2026 | Abstract Symbolic Finite Automata for Algorithmic Game Semantics. Aleksandar S. Dimovski |
| 2026 | Analyses as First-Class Citizens in Model-Driven Development. Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert |
| 2026 | Causal Liability in Autonomous Systems. Kaveh Aryan, Hana Chockler, Mohammad Reza Mousavi |
| 2026 | Composing Clinical Activity Guidance for Multimorbidity via Bounded Relational Analysis. Artur Boronat |
| 2026 | DivKC: A Divide-and-Conquer Approach to Knowledge Compilation. Olivier Zeyen, Karim Tit, Maxime Cordy, Gilles Perrouin |
| 2026 | Don't go MAD with Anomalies! Design-time Microservice Anomaly Detection in Migration to Microservices. Valentim Romão, João Rafael Pinto Soares, Luís E. T. Rodrigues, Vasco Manquinho |
| 2026 | EASYRPL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textsc {Easy}}\mathcal {R}{\textsc {pl}}$$\end{document} - A web-based tool for modelling and analysis of cross-organisational workflows. Muhammad Rizwan Ali, Violet Ka I Pun, Guillermo Román-Díez |
| 2026 | Evaluating Tools for Automatic Software Testing (Report on Test-Comp 2026). Dirk Beyer |
| 2026 | FDSE v2: Variable Importance Guided Hybrid Fuzzing (Competition Contribution). Guofeng Zhang, Zhenbang Chen, Ji Wang |
| 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 | Formally Correct Search for Interpretable DNFs. Imane Bousdira, Martin C. Cooper, Aurélie Hurault |
| 2026 | ForumSeeker: Fusion Retrieval of Online Technical Forums for Effective Troubleshooting. Youyang Kim, Yaoping Ruan, Young-Kyoon Suh, Liqiang Wang, Byungchul Tak |
| 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 | Fundamental Approaches to Software Engineering - 29th International Conference, FASE 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings Elvira Albert, Corina S. Pasareanu |
| 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 | Model Checking in Space with Applications to Medical Image Analysis - Invited Abstract. Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2026 | Modeling and Analyzing Planning-Aware Distributed Cyber-Physical Systems with Timed Graph Transformation Systems. Mustafa Ghani, Holger Giese |
| 2026 | QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs. Junjie Luo, Shangzhou Xia, Fuyuan Zhang, Jianjun Zhao |
| 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 | Revisiting the Role of Natural Language Code Comments in Code Translation. Monika Gupta, Ajay Meena, Anamitra Roy Choudhury, Vijay Arya, Srikanta Bedathur |
| 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 | Sikraken: Symbolic Execution using Constraint Logic Programming for Generating Test Inputs (Competition Contribution). Christophe Meudec |
| 2026 | TestCoCa: Test-Suite Coverage Calculator (Competition Contribution). Martin Ergang, Marek Trtík |
| 2026 | Testing in Formal Verification via Witness Generation (Empirical Evaluation). Dirk Beyer, Thomas Lemberger, Henrik Wachowitz |
| 2026 | Timed Contract Automata. Bernhard Beckert, Andreas Bremer, Alexander Weigl |
| 2026 | Towards Decentralised Dynamic Reconfiguration of Software Systems. Mina Yavari, Damian Arellanes |
| 2026 | Ultimate TestGen: Combining Parallel Trace Abstraction and Symbolic Path Execution (Competition Contribution). Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs |
| 2026 | Unified Timing-Aware Program Verification. Dóra Cziborová, Mihály Dobos-Kovács, Kristóf Marussy, András Vörös |