TY  - RPRT
TI  - Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
AU  - Kuangxiangzi Liu
AU  - Dhiman Chakraborty
AU  - Alexander Liggesmeyer
AU  - Andreas Zeller
PY  - 2025
UR  - https://arxiv.org/abs/2511.17977
ID  - 2511.17977
ER  -