1 paper
Jiachi Chen, Xin Xia, David Lo +3
Smart contracts are programs running on a blockchain. They are immutable to change, and hence can not be patched for bugs once deployed. Thus it is critical to ensure they are bug-…