MAFUZZ: Adaptive Gradient-Guided Fuzz Testing for Satellite Internet Ground Terminals - Cao, Ang (Electronics, 2025)