| 2026 | Ultimate TestGen: Combining Parallel Trace Abstraction and Symbolic Path Execution (Competition Contribution). | Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs |
| 2026 | Causal Liability in Autonomous Systems. | Kaveh Aryan, Hana Chockler, Mohammad Reza Mousavi |
| 2026 | EASYRPL - A web-based tool for modelling and analysis of cross-organisational workflows. | Muhammad Rizwan Ali, Violet Ka I Pun, Guillermo Romn-Dez |
| 2025 | ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution). | Chenfeng Wei, Tong Wu, Rafael S Menezes, Fedor Shmarov, Fatimah Aljaafari, Sangharatna Godboley, Kaled M. Alshmrany, Rosiane de Freitas, Lucas C. Cordeiro |
| 2025 | Stochastic Timed Graph Transformation Systems. | Sven Schneider, Maria Maximova, Holger Giese |
| 2025 | Compositional Learning for Synchronous Parallel Automata. | Mahboubeh Samadi, Aryan Bastany, Hossein Hojjat |
| 2025 | Reasoning about Substitutability at the Level of JVM Bytecode. | Marco Paganoni, Carlo A. Furia |
| 2025 | Capturing System Designs with Formal Executable Specifications. | Jos Meseguer |
| 2025 | DeepCRCEval: Revisiting the Evaluation of Code Review Comment Generation. | Junyi Lu, Xiaojia Li, Zihan Hua, Lei Yu, Shiqi Cheng, Li Yang, Fengjun Zhang, Chun Zuo |
| 2025 | Towards Large Language Model Guided Kernel Direct Fuzzing. | Xie Li, Zhaoyue Yuan, Zhenduo Zhang, Youcheng Sun, Lijun Zhang |
| 2025 | Hybridize Functions: A Tool for Automatically Refactoring Imperative Deep Learning Programs to Graph Execution. | Raffi Khatchadourian, Tatiana Castro Vlez, Mehdi Bagherzadeh, Nan Jia, Anita Raja |
| 2025 | Fizzer with Local Space Fuzzing - (Competition Contribution). | Martin Jons, Jan Strejcek, Marek Trtk |
| 2025 | RoboScene: Notation for Formal Verification of Human-Robot Interaction. | Holly Hendry, Ana Cavalcanti, Cade McCall, Mark Chattington |
| 2025 | Symbolic State Partitioning for Reinforcement Learning. | Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski |
| 2025 | Prove your Colorings: Formal Verification of Cache Coloring of Bao Hypervisor. | Axel Ferrol, Laurent Corbin, Nikolai Kosmatov |
| 2025 | VOCE: A Virtual On-Call Engineer for Automated Alert Incident Analysis Using a Large Language Model. | Jia Chen, Xiaolei Chen, Jie Shi, Peng Wang, Wei Wang |
| 2025 | Advances in Automatic Software Testing: Test-Comp 2025. | Dirk Beyer |
| 2025 | Formal Architectural Patterns for Adaptive Robotic Software. | James Baxter, Bert Van Acker, Morten Haahr Kristensen, Thomas Wright, Ana Cavalcanti, Cludio Gomes |
| 2024 | FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution). | Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang |
| 2024 | Formal Specification of Trusted Execution Environment APIs. | Geunyeol Yu, Seunghyun Chae, Kyungmin Bae, Sungkun Moon |
| 2024 | Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems. | He Xu, Sven Schneider, Holger Giese |
| 2024 | Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models. | Lucas Sakizloglou, Holger Giese, Leen Lambers |
| 2024 | First Steps towards Deductive Verification of LLVM IR. | Dr van Oorschot, Marieke Huisman, mer Sakar |
| 2024 | KLEEF: Symbolic Execution Engine (Competition Contribution). | Aleksandr Misonizhnik, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov |
| 2024 | Refinement Verification of OS Services based on a Verified Preemptive Microkernel. | Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi |