OSmartPro: a large language model-assisted option fuzzing approach. - Wang, Kelin; Chen, Mengda; He, Liang; Wang, Yanhao; Su, Purui; Chen, JiongYi; Cai, Yan; Zhang, Bin; Feng, Chao; Tang, Chaojing; Peng, Guojun (Cybersecurity (2523-3246), 2026)