Deploying Constraint Programming for Testing ABB’s Painting Robots