@misc{indiciae571a92f18fad,
  title = {RFCAudit: An LLM Agent for Functional Bug Detection in Network Protocols},
  author = {Mingwei Zheng and Chengpeng Wang and Xuwei Liu and Jinyao Guo and Shiwei Feng and Xiangyu Zhang},
  year = {2025},
  url = {https://arxiv.org/abs/2506.00714},
  note = {Source identifier: 2506.00714}
}