@misc{indiciae5bbd85637766,
  title = {Unleashing the Power of LLM to Infer State Machine from the Protocol Implementation},
  author = {Haiyang Wei and Ligeng Chen and Zhengjie Du and Yuhan Wu and Haohui Huang and Yue Liu and Guang Cheng and Fengyuan Xu and Linzhang Wang and Bing Mao},
  year = {2025},
  url = {https://arxiv.org/abs/2405.00393},
  note = {Source identifier: 2405.00393}
}