| 2024 | Fizzer: New Gray-Box Fuzzer - (Competition Contribution). | Martin Jons, Jan Strejcek, Marek Trtk, Luks Urban |
| 2024 | Can ChatGPT support software verification? | Christian Janen, Cedric Richter, Heike Wehrheim |
| 2024 | Probabilistic Runtime Enforcement of Executable BPMN Processes. | Ylis Falcone, Gwen Salan, Ahang Zuo |
| 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 | Fuzzy quantitative attack tree analysis. | Thi Kim Nhung Dang, Milan Lopuha-Zwakenberg, Marille Stoelinga |
| 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 | Monitoring the Future of Smart Contracts. | Margarita Capretto, Martn Ceresa, Csar Snchez |
| 2024 | Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation. | Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins |
| 2024 | Comprehending Object State via Dynamic Class Invariant Learning. | Jan H. Boockmann, Gerald Lttgen |
| 2024 | From Mechanized Semantics to Verified Compilation: the Clight Semantics of CompCert. | Sandrine Blazy |
| 2024 | Combining Deductive Verification with Shape Analysis. | To Bernier, Yani Ziani, Nikolai Kosmatov, Frdric Loulergue |
| 2024 | Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). | Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs |
| 2024 | Invariant-based Program Repair. | Omar I. Al-Bataineh |
| 2023 | Specification and Validation of Normative Rules for Autonomous Agents. | Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu, Ana Cavalcanti |
| 2023 | Opportunistic Monitoring of Multithreaded Programs. | Chukri Soueidi, Antoine El-Hokayem, Ylis Falcone |
| 2023 | Yet Another Model! A Study on Model's Similarities for Defect and Code Smells. | Geanderson E. dos Santos, Amanda Santana, Gustavo Vale, Eduardo Figueiredo |
| 2023 | A Modeling Concept for Formal Verification of OS-Based Compositional Software. | Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen, Marcel Baunach |
| 2023 | Efficient Bounded Exhaustive Input Generation from Program APIs. | Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio |
| 2023 | Compositional Automata Learning of Synchronous Systems. | Thomas Neele, Matteo Sammartino |
| 2023 | Concolic Testing of Front-end JavaScript. | Zhe Li, Fei Xie |
| 2023 | Runtime Enforcement Using Knowledge Bases. | Eduard Kamburjan, Crystal Chang Din |
| 2023 | Parallel Program Analysis via Range Splitting. | Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim |
| 2023 | Feature-Guided Analysis of Neural Networks. | Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina S. Pasareanu, Siqi Xie, Huafeng Yu |
| 2023 | Towards Log Slicing. | Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli |
| 2023 | Democratizing Quality-Based Machine Learning Development through Extended Feature Models. | Giordano d'Aloisio, Antinisca Di Marco, Giovanni Stilo |