@misc{indiciae2ed11a50460c,
  title = {PathFuzzing: Worst Case Analysis by Fuzzing Symbolic-Execution Paths},
  author = {Zimu Chen and Di Wang},
  year = {2025},
  url = {https://arxiv.org/abs/2507.09892},
  note = {Source identifier: 2507.09892}
}