ICEPRE: ICS Protocol Reverse Engineering via Data-Driven Concolic Execution. - Yibo Qu; Dongliang Fang; Zhen Wang 043; Jiaxing Cheng; Shuaizong Si; Yongle Chen; Limin Sun 001 (Proc. ACM Softw. Eng., 2025)