| 2024 | Can ChatGPT support software verification? Christian Janßen, Cedric Richter, Heike Wehrheim |
| 2024 | Combining Deductive Verification with Shape Analysis. Téo Bernier, Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue |
| 2024 | Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems. He Xu, Sven Schneider, Holger Giese |
| 2024 | Comprehending Object State via Dynamic Class Invariant Learning. Jan H. Boockmann, Gerald Lüttgen |
| 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 | First Steps towards Deductive Verification of LLVM IR. Dré van Oorschot, Marieke Huisman, Ömer Sakar |
| 2024 | Fizzer: New Gray-Box Fuzzer - (Competition Contribution). Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban |
| 2024 | Formal Specification of Trusted Execution Environment APIs. Geunyeol Yu, Seunghyun Chae, Kyungmin Bae, Sungkun Moon |
| 2024 | Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models. Lucas Sakizloglou, Holger Giese, Leen Lambers |
| 2024 | From Mechanized Semantics to Verified Compilation: the Clight Semantics of CompCert. Sandrine Blazy |
| 2024 | Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings Dirk Beyer, Ana Cavalcanti |
| 2024 | Fuzzy quantitative attack tree analysis. Thi Kim Nhung Dang, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga |
| 2024 | Invariant-based Program Repair. Omar I. Al-Bataineh |
| 2024 | KLEEF: Symbolic Execution Engine (Competition Contribution). Aleksandr Misonizhnik, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov |
| 2024 | Monitoring the Future of Smart Contracts. Margarita Capretto, Martín Ceresa, César Sánchez |
| 2024 | Probabilistic Runtime Enforcement of Executable BPMN Processes. Yliès Falcone, Gwen Salaün, Ahang Zuo |
| 2024 | Refinement Verification of OS Services based on a Verified Preemptive Microkernel. Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi |
| 2024 | Smart Issue Detection for Large-Scale Online Service Systems Using Multi-Channel Data. Liushan Chen, Yu Pei, Mingyang Wan, Zhihui Fei, Tao Liang, Guojun Ma |
| 2024 | Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation. Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins |
| 2024 | TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution). Arpita Dutta, Rasool Maghareh, Joxan Jaffar, Sangharatna Godboley, Xiao Liang Yu |
| 2024 | Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs |