@misc{indiciaec4cc37372384,
  title = {Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling},
  author = {Yan Li and Wenzhang Yang and Yuekun Wang and Jian Gao and Shaohua Wang and Yinxing Xue and Lijun Zhang},
  year = {2025},
  url = {https://arxiv.org/abs/2507.18289},
  note = {Source identifier: 2507.18289}
}