@article{8861,
  author = {Matthieu Carlier and Catherine Dubois and Arnaud Gotlieb},
  title = {FocalTest: a Constraint Programming Approach for Property-Based Testing},
  year = {2013},
  journal = {Communications in Computer and Information Science},
  number = {170},
  pages = {140-155},
  publisher = {Springer Berlin Heidelberg},
  note = {Revised selected papers from ICSOFT 2010 - Edited by Cordeiro Virvou Shishkov (Eds), SPRINGER},
}