@article{DBLP:journals/pacmpl/YuanZBJ25,
  author       = {Yongwei Yuan and
                  Zhe Zhou and
                  Julia Belyakova and
                  Suresh Jagannathan},
  title        = {Derivative-Guided Symbolic Execution},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {9},
  number       = {{POPL}},
  pages        = {1475--1505},
  year         = {2025},
  url          = {https://doi.org/10.1145/3704886},
  doi          = {10.1145/3704886},
  timestamp    = {Fri, 14 Feb 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/YuanZBJ25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"oGGbzWNywZSC3h6aS","bibbaseid":"yuan-zhou-belyakova-jagannathan-derivativeguidedsymbolicexecution-2025","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":"Proc. ACM Program. Lang.","volume":"9","number":"POPL","pages":"1475–1505","year":"2025","url":"https://doi.org/10.1145/3704886","doi":"10.1145/3704886","timestamp":"Fri, 14 Feb 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/pacmpl/YuanZBJ25.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/pacmpl/YuanZBJ25,\n author = {Yongwei Yuan and\n Zhe Zhou and\n Julia Belyakova and\n Suresh Jagannathan},\n title = {Derivative-Guided Symbolic Execution},\n journal = {Proc. {ACM} Program. Lang.},\n volume = {9},\n number = {{POPL}},\n pages = {1475--1505},\n year = {2025},\n url = {https://doi.org/10.1145/3704886},\n doi = {10.1145/3704886},\n timestamp = {Fri, 14 Feb 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/pacmpl/YuanZBJ25.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/pacmpl/YuanZBJ25","id":"DBLP:journals/pacmpl/YuanZBJ25","bibbaseid":"yuan-zhou-belyakova-jagannathan-derivativeguidedsymbolicexecution-2025","role":"author","urls":{"Paper":"https://doi.org/10.1145/3704886"},"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":2025}