Xieyang Xu, Weixin Deng, Ryan Beckett, Ratul Mahajan, David Walker. Test Coverage for Network Configurations. In Mahesh Balakrishnan 0001, Manya Ghobadi, editors, 20th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2023, Boston, MA, April 17-19, 2023. pages 1717-1732, USENIX Association, 2023. [doi]
Abstract is missing.