Towards Automated Generation of Bug Benchmark for Smart Contracts.

Jiaming Ye Mingliang Ma Tianyong Peng Yun Peng Yinxing Xue

Published in: ICST Workshops (2019)

Keyphrases

semi automated
fully automated
semi automatic
generation process
real time
real world
data mining
source code
fully automatic
comparative analysis
smart grid
databases
database systems
data driven
software systems
automated analysis