@misc{indiciae0f05585236db,
  title = {One evaluation of model-based testing and its automation},
  author = {Alexander Pretschner and Wolfgang Prenninger and Stefan Wagner and Christian Kjanel and Martin Baumgartner and Bernd Sostawa and Rüdiger Zölch and Thomas Stauner},
  year = {2017},
  doi = {10.1145/1062455.1062529},
  url = {https://arxiv.org/abs/1701.06815},
  note = {Source identifier: 1701.06815}
}