TY  - RPRT
TI  - Unleashing the Power of LLM to Infer State Machine from the Protocol Implementation
AU  - Haiyang Wei
AU  - Ligeng Chen
AU  - Zhengjie Du
AU  - Yuhan Wu
AU  - Haohui Huang
AU  - Yue Liu
AU  - Guang Cheng
AU  - Fengyuan Xu
AU  - Linzhang Wang
AU  - Bing Mao
PY  - 2025
UR  - https://arxiv.org/abs/2405.00393
ID  - 2405.00393
ER  -