Rulan Yang, Xing Fang, Lizhao You, Qiao Xiang, Hanyang Shao, Gao Han, Ziyi Wang, Zhihao Zhang, Jiwu Shu, Linghe Kong: Diagnosing Distributed Routing Configurations Using Sequential Program Analysis. APNet 2023: 34-40