@misc{indiciae898cb972e7d2,
  title = {Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions},
  author = {Dejanira Araiza-Illan and Tony Pipe and Kerstin Eder},
  year = {2016},
  url = {https://arxiv.org/abs/1603.00656},
  note = {Source identifier: 1603.00656}
}