S${}^2$F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling

Lianjing Wang, Yufeng Zhang, Kenli Li +5

Hybrid testing that integrates fuzzing, symbolic execution, and sampling has demonstrated superior testing efficiency compared to individual techniques. However, the state-of-the-a…