@misc{13540,
  author = {Arnaud Gotlieb},
  title = {Global Constraints in Software Testing Applications},
  year = {2015},
  journal = {Universit{\'e} de Montpellier, France - LIRMM},
}