%0 Conference Paper %1 conf/fase/ZhangSMLCW24 %A Zhang, Guofeng %A Shuai, Ziqi %A Ma, Kelin %A Liu, Kunlin %A Chen, Zhenbang %A Wang, Ji %B FASE %D 2024 %E Beyer, Dirk %E Cavalcanti, Ana %I Springer %K dblp %P 304-308 %T FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/fase/fase2024.html#ZhangSMLCW24 %V 14573 %@ 978-3-031-57259-3

@inproceedings{conf/fase/ZhangSMLCW24, added-at = {2024-04-15T00:00:00.000+0200}, author = {Zhang, Guofeng and Shuai, Ziqi and Ma, Kelin and Liu, Kunlin and Chen, Zhenbang and Wang, Ji}, biburl = {https://www.bibsonomy.org/bibtex/2800f739514f480aa99996debe519be41/dblp}, booktitle = {FASE}, crossref = {conf/fase/2024}, editor = {Beyer, Dirk and Cavalcanti, Ana}, ee = {https://doi.org/10.1007/978-3-031-57259-3_16}, interhash = {af84ff73522aaa8a67d7c8d98da63af9}, intrahash = {800f739514f480aa99996debe519be41}, isbn = {978-3-031-57259-3}, keywords = {dblp}, pages = {304-308}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-22T07:45:51.000+0200}, title = {FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2024.html#ZhangSMLCW24}, volume = 14573, year = 2024 }