@misc{indiciaeb52cfb4bd335,
  title = {Derivative-Guided Symbolic Execution},
  author = {Yongwei Yuan and Zhe Zhou and Julia Belyakova and Suresh Jagannathan},
  year = {2024},
  doi = {10.1145/3704886},
  url = {https://arxiv.org/abs/2411.02716},
  note = {Source identifier: 2411.02716}
}