| 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 | ACoRe: Automated Goal-Conflict Resolution. Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis |
| 2023 | Compositional Automata Learning of Synchronous Systems. Thomas Neele, Matteo Sammartino |
| 2023 | Concolic Testing of Front-end JavaScript. Zhe Li, Fei Xie |
| 2023 | Democratizing Quality-Based Machine Learning Development through Extended Feature Models. Giordano d'Aloisio, Antinisca Di Marco, Giovanni Stilo |
| 2023 | Efficient Bounded Exhaustive Input Generation from Program APIs. Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio |
| 2023 | Feature-Guided Analysis of Neural Networks. Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina S. Pasareanu, Siqi Xie, Huafeng Yu |
| 2023 | FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution). Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro |
| 2023 | Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings Leen Lambers, Sebastián Uchitel |
| 2023 | JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina |
| 2023 | Model-based Player Experience Testing with Emotion Pattern Verification. Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Davide Prandi, Fitsum Meshesha Kifetew, Mehdi Dastani, Frank Dignum, Gabriele Keller |
| 2023 | Opportunistic Monitoring of Multithreaded Programs. Chukri Soueidi, Antoine El-Hokayem, Yliès Falcone |
| 2023 | Parallel Program Analysis via Range Splitting. Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim |
| 2023 | Runtime Enforcement Using Knowledge Bases. Eduard Kamburjan, Crystal Chang Din |
| 2023 | Software Testing: 5th Comparative Evaluation: Test-Comp 2023. Dirk Beyer |
| 2023 | Specification and Validation of Normative Rules for Autonomous Agents. Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu, Ana Cavalcanti |
| 2023 | Towards Log Slicing. Joshua Heneage Dawes, Donghwan Shin, Domenico Bianculli |
| 2023 | Vamos: Middleware for Best-Effort Third-Party Monitoring. Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger |
| 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 |