Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin T. Vechev. NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. In Sujata Banerjee, Srinivasan Seshan, editors, 15th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2018, Renton, WA, USA, April 9-11, 2018. pages 579-594, USENIX Association, 2018. [doi]
Abstract is missing.