Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation. - Kuangxiangzi Liu; Dhiman Chakraborty 001; Alexander Liggesmeyer; Andreas Zeller (CoRR, 2025)