Model-Based Testing of SDN Firewalls: A Case Study
FlowChecker: configuration analysis and verification of federated openflow infrastructures