Model-Based Testing of SDN Firewalls: A Case Study
I know what your packet did last hop: using packet histories to troubleshoot networks