SyML: Guiding symbolic execution toward vulnerable states through pattern learning

@inproceedings{ruaro21syml,
  title     = {{SyML: Guiding symbolic execution toward vulnerable states through pattern learning}},
  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},
  booktitle = {Proceedings of the 24th International Symposium on Research in Attacks, Intrusions and Defenses},
  month     = {October},
  year      = {2021},
  pages     = {456--468}
}