@misc{indiciae040ea4636efd,
  title = {Test Coverage for Network Configurations},
  author = {Xieyang Xu and Weixin Deng and Ryan Beckett and Ratul Mahajan and David Walker},
  year = {2022},
  url = {https://arxiv.org/abs/2209.12870},
  note = {Source identifier: 2209.12870}
}