A Smart Contract Vulnerability Detection System Based on BERT Model and Fuzz Testing.

Zhehao Liang Baojiang Cui Dongbin Wang Jie Xu Huipeng Liu

Published in: IMIS (2024)

Keyphrases

high level
neural network
computational model
automatic detection
probabilistic model
theoretical analysis
formal model
data model
probability distribution
detection accuracy
statistical model
mathematical model
theoretical framework
cost function
moving objects
multi agent systems
decision making