Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols

Bernhard K. Aichernig, Edi Muškardin, Andrea Pferscher

Active automata learning became a popular tool for the behavioral analysis of communication protocols. The main advantage is that no manual modeling effort is required since a beha…