Protocol Fuzzing With Specification Guided Message Generation. - Senyi Li; Junqiang Li; Jingxuan Fu; Mingwu Xue; Hongfang Yu; Gang Sun 001 (UCET, 2021)