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