@misc{indiciae2a450fd0d42f,
  title = {S\$\textasciicircum{}2\$F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling},
  author = {Lianjing Wang and Yufeng Zhang and Kenli Li and Zhenbang Chen and Xu Zhou and Pengfei Wang and Guangning Song and Ji Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2601.10068},
  note = {Source identifier: 2601.10068}
}