Login / Signup
SolSEE: a source-level symbolic execution engine for solidity.
Shang-Wei Lin
Palina Tolmach
Ye Liu
Yi Li
Published in:
ESEC/SIGSOFT FSE (2022)
Keyphrases
</>
execution engine
data mining
multi dimensional
search computing