Smart contract testing by twicek security