|
@inproceedings{, author = {Ahmed El-Hassany and Jeremie Miserez and Pavol Bielik and Laurent Vanbever and Martin Vechev}, title = {SDNRacer: Concurrency Analysis for Software-Defined Networks}, address = {Santa Barbara, CA, USA}, booktitle = {ACM PLDI}, publisher = {ACM}, month = {Jun}, year = {2016} }