2017
BigBug: Practical Concurrency Analysis for SDN.
[DOI]
Roman May
,
Ahmed El-Hassany
,
Laurent Vanbever
,
Martin T. Vechev
Proceedings of the Symposium on SDN Research, 2017