BigBug: Practical Concurrency Analysis for SDN. - Roman May; Ahmed El-Hassany; Laurent Vanbever; Martin T. Vechev (SOSR, 2017)