@misc{13537,
  author = {Arnaud Gotlieb},
  title = {An Overview of Constraint-Based Testing},
  year = {2015},
  journal = {Centre de Recherche en Informatique de Montreal (CRIM)},
}