Scott, C., Wundsam, A., Raghavan, B., Liu, Z., Whitlock, S., El-Hassany, A., Or, A., Lai, J., Huang, E., Acharya, H.B., Zarifis, K. and Shenker, S. Troubleshooting SDN Control Software with Minimal Causal Sequences. SIGCOMM 2014.