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

JiongHan Wang, WenChao Huang

As a prevalent analytical technique for stateful protocol implementations, state machine learning suffers from a core bottleneck stemming from handcrafted input alphabets. Manual a…