Source publication: [TAB17]
Tag: protocol
The Message Queuing Telemetry Transport (MQTT) protocol is a lightweight publish/subscribe protocol that is well-suited for resource-constrained environments such as the Internet of Things (IoT). The authors of [TAB17] used model learning to obtain Mealy machine models of five freely available implementations of MQTT brokers (included in Apache ActiveMQ 5.13.3, emqttd 1.0.2, HBMQTT 0.7.1, Mosquitto 1.4.9 and VerneMQ 0.12.5p4). Examining these models, the authors found several violations of the MQTT specification. In fact, all but one of the considered implementations showed faulty behaviour.
The models of MQTT brokers learned can be found in the github repository of a different project about a mutation-based equivalence testing approach for learning, where the MQTT models are used as SULs [GITMQTT].