Model-Based Testing IoT Communication via Active Automata Learning.

Martin Tappler, Bernhard K. Aichernig, Roderick Bloem

Browse the full ICST paper archive.