%0 Conference Paper %1 conf/raid/RuaroZDPBCZKV21 %A Ruaro, Nicola %A Zeng, Kyle %A Dresel, Lukas %A Polino, Mario %A Bao, Tiffany %A Continella, Andrea %A Zanero, Stefano %A Kruegel, Christopher %A Vigna, Giovanni %B RAID %D 2021 %E Bilge, Leyla %E Dumitras, Tudor %I ACM %K dblp %P 456-468 %T SyML: Guiding Symbolic Execution Toward Vulnerable States Through Pattern Learning. %U http://dblp.uni-trier.de/db/conf/raid/raid2021.html#RuaroZDPBCZKV21 %@ 978-1-4503-9058-3

@inproceedings{conf/raid/RuaroZDPBCZKV21, added-at = {2022-01-03T00:00:00.000+0100}, author = {Ruaro, Nicola and Zeng, Kyle and Dresel, Lukas and Polino, Mario and Bao, Tiffany and Continella, Andrea and Zanero, Stefano and Kruegel, Christopher and Vigna, Giovanni}, biburl = {https://www.bibsonomy.org/bibtex/2acbd045e208ca27a2953c146eb33c221/dblp}, booktitle = {RAID}, crossref = {conf/raid/2021}, editor = {Bilge, Leyla and Dumitras, Tudor}, ee = {https://doi.org/10.1145/3471621.3471865}, interhash = {0544edb85e4a01a46494ba897ce778d5}, intrahash = {acbd045e208ca27a2953c146eb33c221}, isbn = {978-1-4503-9058-3}, keywords = {dblp}, pages = {456-468}, publisher = {ACM}, timestamp = {2024-04-09T19:34:17.000+0200}, title = {SyML: Guiding Symbolic Execution Toward Vulnerable States Through Pattern Learning.}, url = {http://dblp.uni-trier.de/db/conf/raid/raid2021.html#RuaroZDPBCZKV21}, year = 2021 }