High-Coverage Testing of Softwarized Networks.pdf Download pdf Tags: correctness network verification UIUC UIUC Automated Synthesis Framework for Network Security and Resilience License: CC-2.5 Submitted by Andrea Whitesell on Mon, 10/15/2018 - 12:55