TY  - RPRT
TI  - Model-Based Testing IoT Communication via Active Automata Learning
AU  - Martin Tappler
AU  - Bernhard K. Aichernig
AU  - Roderick Bloem
PY  - 2019
DO  - 10.1109/icst.2017.32
UR  - https://arxiv.org/abs/1904.07075
ID  - 1904.07075
ER  -