Detecting nondeterministic payment bugs in Ethereum smart contracts.

Shuai Wang Chengyu Zhang Zhendong Su

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

data sets
electronic commerce
test cases
finite state
state space
source code
software systems
database
real time
learning algorithm
website
reinforcement learning
credit card
initial state