A Survey of Mutation Based Testing Adequacy Study on Smart Contract | IEEE Conference Publication | IEEE Xplore