Ulas C. Kozat, Guanfeng Liang, Koray Kokten. Verifying forwarding plane connectivity and locating link failures using static rules in software defined networks. In Nate Foster, Rob Sherwood, editors, Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, HotSDN 2013, The Chinese University of Hong Kong, Hong Kong, China, Friday, August 16, 2013. pages 157-158, ACM, 2013. [doi]