Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories. - Mathieu Collet; Arnaud Gotlieb; Nadjib Lazaar; Morten Mossige (AITest, 2019)

RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. - Mathieu Collet; Arnaud Gotlieb; Nadjib Lazaar; Mats Carlsson; Dusica Marijan; Morten Mossige (CP, 2020)

Opening the software engineering toolbox for the assessment of trustworthy AI. - Mohit Kumar Ahuja; Mohamed-Bachir Belaid; Pierre Bernabé; Mathieu Collet; Arnaud Gotlieb; Chhagan Lal; Dusica Marijan; Sagar Sen; Aizaz Sharif; Helge Spieker (NeHuAI@ECAI, 2020)