@misc{15451,
  author = {Mathieu Collet and Arnaud Gotlieb and Nadjib Lazaar and Mats Carlsson and Dusica Marijan and Morten Mossige},
  editor = {Helmut Simonis},
  title = {RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots},
  year = {2020},
  journal = {International Conference on Principles and Practice of Constraint Programming},
  volume = {12333},
  edition = {LNCS},
  pages = {1-17},
  month = {08/2020},
  publisher = {Springer},
}