SDNRacer: detecting concurrency violations in software-defined networks. - Jeremie Miserez; Pavol Bielik; Ahmed El-Hassany; Laurent Vanbever; Martin T. Vechev (SOSR, 2015)

SDNRacer: concurrency analysis for software-defined networks. - Ahmed El-Hassany; Jeremie Miserez; Pavol Bielik; Laurent Vanbever; Martin T. Vechev (PLDI, 2016)