Fan Hu, Jiangan Ji, Hui Shu, Zheming Li, Tieming Liu, Chao Zhang: Formatted Stateful Greybox Fuzzing of TLS Server. ICST 2024: 151-160