@article{modelbasedtestgenerationforrobotic,
  title = {Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents},
  author = {Dejanira Araiza-Illan and Anthony G. Pipe and Kerstin Eder},
  year = {2016},
  eprint = {1609.08439},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1609.08439v2},
}