S2F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling. - Lianjing Wang; Yufeng Zhang 001; Kenli Li 001; Zhenbang Chen 001; Xu Zhou 001; Pengfei Wang; Guangning Song; Ji Wang 001 (CoRR, 2026)