Login / Signup

Learning to Fuzz from Symbolic Execution with Application to Smart Contracts.

Jingxuan HeMislav BalunovicNodar AmbroladzePetar TsankovMartin T. Vechev
Published in: CCS (2019)
Keyphrases
  • learning algorithm
  • neural network
  • symbolic execution
  • high level
  • reinforcement learning
  • search algorithm
  • knowledge management
  • pattern matching