Accuracy, Scalability, Coverage: A Practical Configuration Verifier on a Global WAN.
Fangdan YeDa YuEnnan ZhaiHongqiang Harry LiuBingchuan TianQiaobo YeChunsheng WangXin WuTianchen GuoCheng JinDuncheng SheQing MaBiao ChengHui XuMing ZhangZhiliang WangRodrigo FonsecaPublished in: SIGCOMM (2020)