Study of the antivirus patch testing problem through optimal control modeling - Guofang Liu; Chunlong Fu; Xiaofan Yang; Luxing Yang; Yanhua Feng; Yang Qin (PLoS ONE, 2025)