Login / Signup

SolSEE: a source-level symbolic execution engine for solidity.

Shang-Wei LinPalina TolmachYe LiuYi Li
Published in: ESEC/SIGSOFT FSE (2022)
Keyphrases
  • execution engine
  • data mining
  • multi dimensional
  • search computing