@article{DBLP:journals/corr/abs-2411-02716,
  author       = {Yongwei Yuan and
                  Zhe Zhou and
                  Julia Belyakova and
                  Suresh Jagannathan},
  title        = {Derivative-Guided Symbolic Execution},
  journal      = {CoRR},
  volume       = {abs/2411.02716},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2411.02716},
  doi          = {10.48550/ARXIV.2411.02716},
  eprinttype    = {arXiv},
  eprint       = {2411.02716},
  timestamp    = {Wed, 01 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2411-02716.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"vzFnN9MKXYMib9BiC","bibbaseid":"yuan-zhou-belyakova-jagannathan-derivativeguidedsymbolicexecution-2024","author_short":["Yuan, Y.","Zhou, Z.","Belyakova, J.","Jagannathan, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Yongwei"],"propositions":[],"lastnames":["Yuan"],"suffixes":[]},{"firstnames":["Zhe"],"propositions":[],"lastnames":["Zhou"],"suffixes":[]},{"firstnames":["Julia"],"propositions":[],"lastnames":["Belyakova"],"suffixes":[]},{"firstnames":["Suresh"],"propositions":[],"lastnames":["Jagannathan"],"suffixes":[]}],"title":"Derivative-Guided Symbolic Execution","journal":"CoRR","volume":"abs/2411.02716","year":"2024","url":"https://doi.org/10.48550/arXiv.2411.02716","doi":"10.48550/ARXIV.2411.02716","eprinttype":"arXiv","eprint":"2411.02716","timestamp":"Wed, 01 Jan 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/corr/abs-2411-02716.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-2411-02716,\n author = {Yongwei Yuan and\n Zhe Zhou and\n Julia Belyakova and\n Suresh Jagannathan},\n title = {Derivative-Guided Symbolic Execution},\n journal = {CoRR},\n volume = {abs/2411.02716},\n year = {2024},\n url = {https://doi.org/10.48550/arXiv.2411.02716},\n doi = {10.48550/ARXIV.2411.02716},\n eprinttype = {arXiv},\n eprint = {2411.02716},\n timestamp = {Wed, 01 Jan 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-2411-02716.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Yuan, Y.","Zhou, Z.","Belyakova, J.","Jagannathan, S."],"key":"DBLP:journals/corr/abs-2411-02716","id":"DBLP:journals/corr/abs-2411-02716","bibbaseid":"yuan-zhou-belyakova-jagannathan-derivativeguidedsymbolicexecution-2024","role":"author","urls":{"Paper":"https://doi.org/10.48550/arXiv.2411.02716"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/j/SJagannathan.bib","dataSources":["w34nNagszyiH26GmA"],"keywords":[],"search_terms":["derivative","guided","symbolic","execution","yuan","zhou","belyakova","jagannathan"],"title":"Derivative-Guided Symbolic Execution","year":2024}