| 2025 | Advances in Automatic Software Testing: Test-Comp 2025. Dirk Beyer |
| 2025 | Capturing System Designs with Formal Executable Specifications. José Meseguer |
| 2025 | Compositional Learning for Synchronous Parallel Automata. Mahboubeh Samadi, Aryan Bastany, Hossein Hojjat |
| 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 | 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 | Fizzer with Local Space Fuzzing - (Competition Contribution). Martin Jonás, Jan Strejcek, Marek Trtík |
| 2025 | Formal Architectural Patterns for Adaptive Robotic Software. James Baxter, Bert Van Acker, Morten Haahr Kristensen, Thomas Wright, Ana Cavalcanti, Cláudio Gomes |
| 2025 | Fundamental Approaches to Software Engineering - 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings Artur Boronat, Gordon Fraser |
| 2025 | Hybridize Functions: A Tool for Automatically Refactoring Imperative Deep Learning Programs to Graph Execution. Raffi Khatchadourian, Tatiana Castro Vélez, Mehdi Bagherzadeh, Nan Jia, Anita Raja |
| 2025 | Prove your Colorings: Formal Verification of Cache Coloring of Bao Hypervisor. Axel Ferréol, Laurent Corbin, Nikolai Kosmatov |
| 2025 | Reasoning about Substitutability at the Level of JVM Bytecode. Marco Paganoni, Carlo A. Furia |
| 2025 | RoboScene: Notation for Formal Verification of Human-Robot Interaction. Holly Hendry, Ana Cavalcanti, Cade McCall, Mark Chattington |
| 2025 | Stochastic Timed Graph Transformation Systems. Sven Schneider, Maria Maximova, Holger Giese |
| 2025 | Symbolic State Partitioning for Reinforcement Learning. Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski |
| 2025 | Towards Large Language Model Guided Kernel Direct Fuzzing. Xie Li, Zhaoyue Yuan, Zhenduo Zhang, Youcheng Sun, Lijun Zhang |
| 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 |