This repository contains the supplemental material to the paper ' Active vs. Passive? A Comparison of Automata Learning Paradigms for Network Protocols' of Bernhard K. Aichernig1, Edi Muškardin1,2, and Andrea Pferscher1 (1Institute of Software Technology, Graz University of Technology; 2 Silicon Austria Labs, TU Graz - SAL DES Lab).
- BLE models (automata/BLE/):
- MQTT models (automata/MQTT/):
- Experiment execution (main.py):
Python library Aalpy >=1.2.8
Requirements installation:
sudo pip3 install -r requirements.txtpython3 main.py <BENCHMARK>
Possible benchmarks are "MQTT" or "BLE". The script generates three different csv-files containing the learning results for active learning, passive learning, and active learning with cache.
- AALpy: active automata learning library