@misc{indiciae17cf2f1513fd,
  title = {Tester versus Bug: A Generic Framework for Model-Based Testing via Games},
  author = {Petra van den Bos and Marielle Stoelinga},
  year = {2018},
  doi = {10.4204/eptcs.277.9},
  url = {https://arxiv.org/abs/1809.03098},
  note = {Source identifier: 1809.03098}
}