@article{13171,
  author = {Morten Mossige and Arnaud Gotlieb and Hein Meling},
  title = {Testing Robot Controllers using Constraint Programming and Continuous Integration},
  year = {2015},
  journal = {Information and Software Technology},
  volume = {57},
  pages = {169-185},
  month = {01/2015},
  publisher = {Elsevier},
}