Jeremie Miserez, Pavol Bielik, Ahmed El-Hassany, Laurent Vanbever, Martin T. Vechev. SDNRacer: detecting concurrency violations in software-defined networks. In Jennifer Rexford, Amin Vahdat, editors, Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, SOSR '15, Santa Clara, California, USA, June 17-18, 2015. ACM, 2015.
Abstract is missing.