TY  - RPRT
TI  - Alternative Effort-optimal Model-based Strategy for State Machine Testing of IoT Systems
AU  - Vaclav Rechtberger
AU  - Miroslav Bures
AU  - Bestoun S. Ahmed
PY  - 2020
UR  - https://arxiv.org/abs/2005.09976
ID  - 2005.09976
ER  -