One tool to rule them all: a modular troubleshooting framework for SDN (and other) networks
I know what your packet did last hop: using packet histories to troubleshoot networks