Login / Signup
A Large-Scale Empirical Study on Control Flow Identification of Smart Contracts.
Ting Chen
Zihao Li
Yufei Zhang
Xiapu Luo
Ting Wang
Teng Hu
Xiuzhuo Xiao
Dong Wang
Jin Huang
Xiaosong Zhang
Published in:
ESEM (2019)
Keyphrases
</>
empirical studies
control flow
data flow
empirical analysis
software testing
uci datasets
real world
real world data sets
transition systems
process model
multi agent
experimental design
reactive systems
workflow management systems
cooperative
modeling language
case study