Automata Wiki

Bibliography

TAB17

Martin Tappler, Bernhard K. Aichernig and Roderick Bloem. Model-Based Testing IoT Communication via Active Automata. Learning. 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017. IEEE Computer Society, 2017.

MQTT

http://mqtt.org/

GITMQTT

https://github.com/mtappler/mut-learn/tree/master/eval/src/main/resources/mqtt