Testing Global Constraints. - Aurélie Massart; Valentin Rombouts; Pierre Schaus (CoRR, 2018)