Related publications: [PA2020]
A case study, learning the behavior of five different Message Queuing Telemetry Transport (MQTT) brokers interacting with multiple clients. Using an active learning algorithm for observable non-deterministic finite state machines (ONFSMs) that addresses both problems of active automata learning.
