Park: accelerating smart contract vulnerability detection via parallel-fork symbolic execution.

Peilin Zheng Zibin Zheng Xiapu Luo

Published in: ISSTA (2022)

Keyphrases

symbolic execution
test generation
test data generation
source code
static analysis
specification language
artificial intelligence
database systems
search algorithm
database
data sets
training data
training set
particle swarm optimization
optimization algorithm
error rate