TY  - RPRT
TI  - Tester versus Bug: A Generic Framework for Model-Based Testing via Games
AU  - Petra van den Bos
AU  - Marielle Stoelinga
PY  - 2018
DO  - 10.4204/eptcs.277.9
UR  - https://arxiv.org/abs/1809.03098
ID  - 1809.03098
ER  -