Accuracy, Scalability, Coverage: A Practical Configuration Verifier on a Global WAN. - Fangdan Ye; Da Yu; Ennan Zhai; Hongqiang Harry Liu; Bingchuan Tian; Qiaobo Ye; Chunsheng Wang; Xin Wu; Tianchen Guo; Cheng Jin; Duncheng She; Qing Ma; et al. (SIGCOMM, 2020)