Sign in

Compiling Parallel Symbolic Execution with Continuations.

Guannan WeiSonglin JiaRuiqi GaoHaotian DengShangyin TanOliver BracevacTiark Rompf
Published in: ICSE (2023)
Keyphrases
  • symbolic execution
  • static analysis
  • test generation
  • test data generation
  • source code
  • specification language
  • neural network
  • case study
  • general purpose
  • open source
  • machine vision
  • data flow