TY  - RPRT
TI  - Derivative-Guided Symbolic Execution
AU  - Yongwei Yuan
AU  - Zhe Zhou
AU  - Julia Belyakova
AU  - Suresh Jagannathan
PY  - 2024
DO  - 10.1145/3704886
UR  - https://arxiv.org/abs/2411.02716
ID  - 2411.02716
ER  -