@misc{indiciae54de63a6f6fc, title = {An Automated Framework for Input Alphabet Construction in Stateful Protocol Implementation Learning}, author = {JiongHan Wang and WenChao Huang}, year = {2026}, url = {https://arxiv.org/abs/2606.23464}, note = {Source identifier: 2606.23464} }