An Improved Vulnerability Detection System of Smart Contracts Based on Symbolic Execution.

Yao Yao Hui Li Xin Yang Yiwang Le

Published in: Big Data (2022)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
genetic algorithm
artificial intelligence
test cases