Generating Tests for Robotized Painting Using Constraint Programming