Login / Signup

Compiling symbolic execution with staging and algebraic effects.

Guannan WeiOliver BracevacShangyin TanTiark Rompf
Published in: Proc. ACM Program. Lang. (2020)
Keyphrases
  • symbolic execution
  • static analysis
  • test generation
  • source code
  • test data generation
  • specification language
  • data sets
  • neural network
  • genetic algorithm
  • search algorithm
  • object oriented
  • open source