“…OPL 1 , COMET 2 , ZINC 3 , CHOCO 4 , GECODE 5 , ...), aim at solving industrial combinatorial problems that arise in optimization, planning, or scheduling. Recently, a new trend has emerged that propose also to use CP programs to address critical applications in e-Commerce [5], air-traffic control and management [3,6], and critical software development [1,4]. While constraint program debugging drew the attention of some researchers, few supports in terms of software engineering and testing have been proposed to help verify critical constraint programs.…”