Model-based testing of SDN firewalls: a case study
Alsmadi, Izzat, Milson Munakami, and Dianxiang Xu. 2015. “Model-Based Testing of SDN Firewalls: A Case Study”. 2015 Second International Conference on Trustworthy Systems and Their Applications, 81-88.