An Automated Framework for Input Alphabet Construction in Stateful Protocol Implementation Learning

@misc{wang2026automated,
  title = {An Automated Framework for Input Alphabet Construction in Stateful Protocol Implementation Learning},
  author = {Jionghan Wang and Wen-Chao Huang},
  year = {2026},
  eprint = {2606.23464},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2606.23464},
}