A Review of Validation and Verification of Neural Network-based Policies for Sequential Decision Making. - Quentin Mazouni; Helge Spieker; Arnaud Gotlieb; Mathieu Acher (CoRR, 2023)

Testing for Fault Diversity in Reinforcement Learning. - Quentin Mazouni; Helge Spieker; Arnaud Gotlieb; Mathieu Acher (AST@ICSE, 2024)

Policy Testing with MDPFuzz (Replicability Study). - Quentin Mazouni; Helge Spieker; Arnaud Gotlieb; Mathieu Acher (Software Engineering, 2025)

Mutation-Guided Metamorphic Testing of Optimality in AI Planning. - Quentin Mazouni; Arnaud Gotlieb; Helge Spieker; Mathieu Acher; Benoît Combemale (Softw. Test. Verification Reliab., 2025)

Prompting for Performance: Exploring LLMs for Configuring Software. - Helge Spieker; Théo Matricon; Nassim Belmecheri; Jørn Eirik Betten; Gauthier Le Bartz Lyan; Heraldo Borges; Quentin Mazouni; Dennis Gross; Arnaud Gotlieb; Mathieu Acher (CoRR, 2025)