Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing.

Mingxi Ye Yuhong Nan Zibin Zheng Dongpeng Wu Huizhong Li

Published in: ISSTA (2023)

Keyphrases

source code
database
neural network
data structure
transaction management
dynamic constraints
data sets
information retrieval
computer vision