Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation.

Rulan Yang, Gao Han, Hanyang Shao, Xiaoqiang Zheng, Xing Fang, Ziyi Wang, Lizhao You, Ruiting Zhou, Linghe Kong, Ennan Zhai, Qiao Xiang, Jiwu Shu

Browse the full NSDI paper archive.