Jero, S.; Pacheco, M. L.; Goldwasser, D.; Nita-Rotaru, C. Leveraging Textual Specifications for Grammar-Based Fuzzing of Network Protocols. AAAI 2019, 33, 9478-9483.