A Dynamic Taint Analysis-Based Smart Contract Testing Approach.

Hui Zhao Xing Li Keke Gai

Published in: SmartCom (2022)

Keyphrases

test cases
database
information retrieval
statistical analysis
neural network
multiscale
multi agent
scheduling problem
dynamic environments