TY - RPRT TI - One evaluation of model-based testing and its automation AU - Alexander Pretschner AU - Wolfgang Prenninger AU - Stefan Wagner AU - Christian Kjanel AU - Martin Baumgartner AU - Bernd Sostawa AU - Rüdiger Zölch AU - Thomas Stauner PY - 2017 DO - 10.1145/1062455.1062529 UR - https://arxiv.org/abs/1701.06815 ID - 1701.06815 ER -