Sign in

SyML: Guiding Symbolic Execution Toward Vulnerable States Through Pattern Learning.

Nicola RuaroKyle ZengLukas DreselMario PolinoTiffany BaoAndrea ContinellaStefano ZaneroChristopher KruegelGiovanni Vigna
Published in: RAID (2021)
Keyphrases
  • symbolic execution
  • databases
  • database
  • data sets
  • neural network
  • high level
  • optimization algorithm