@misc{indiciae838ace17dd74,
  title = {On Testing Constraint Programs},
  author = {Nadjib Lazaar and Arnaud Gotlieb and Lebbah Yahia},
  year = {2010},
  url = {https://arxiv.org/abs/1005.2882},
  note = {Source identifier: 1005.2882}
}