Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment | IEEE Conference Publication | IEEE Xplore