@misc{indiciae27a4876ad10b,
  title = {Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation},
  author = {Rulan Yang and Gao Han and Hanyang Shao and Xiaoqiang Zheng and Xing Fang and Ziyi Wang and Lizhao You and Ruiting Zhou and Linghe Kong and Ennan Zhai and Qiao Xiang and Jiwu Shu},
  year = {2026},
  url = {https://arxiv.org/abs/2409.20306},
  note = {Source identifier: 2409.20306}
}