%0 Conference Paper %1 conf/uss/ZhouYQ000022 %A Zhou, Shunfan %A Yang, Zhemin %A Qiao, Dan %A Liu, Peng %A Yang, Min %A Wang, Zhe %A Wu, Chenggang %B USENIX Security Symposium %D 2022 %E Butler, Kevin R. B. %E Thomas, Kurt %I USENIX Association %K dblp %P 4365-4382 %T Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths. %U http://dblp.uni-trier.de/db/conf/uss/uss2022.html#ZhouYQ000022 %@ 978-1-939133-31-1

@inproceedings{conf/uss/ZhouYQ000022, added-at = {2022-10-18T00:00:00.000+0200}, author = {Zhou, Shunfan and Yang, Zhemin and Qiao, Dan and Liu, Peng and Yang, Min and Wang, Zhe and Wu, Chenggang}, biburl = {https://www.bibsonomy.org/bibtex/2bd5128996e90beb15827a7443fae880c/dblp}, booktitle = {USENIX Security Symposium}, crossref = {conf/uss/2022}, editor = {Butler, Kevin R. B. and Thomas, Kurt}, ee = {https://www.usenix.org/conference/usenixsecurity22/presentation/zhou-shunfan}, interhash = {e681104d0293c86e86b6eab417886697}, intrahash = {bd5128996e90beb15827a7443fae880c}, isbn = {978-1-939133-31-1}, keywords = {dblp}, pages = {4365-4382}, publisher = {USENIX Association}, timestamp = {2024-04-09T15:40:28.000+0200}, title = {Ferry: State-Aware Symbolic Execution for Exploring State-Dependent Program Paths.}, url = {http://dblp.uni-trier.de/db/conf/uss/uss2022.html#ZhouYQ000022}, year = 2022 }