Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}
