A Fuzz Testing Service For Assuring Smart Contracts

Smart contracts are code to keep agreements in the form of data or smart contracts residing in a blockchain system. Making data corruptions to these data records may lead to insert unwanted agreements, corrupt an existing one, or remove the latter ones mistakenly. This paper reports the progress of our progress in developing a fuzz testing service with client side support. It will present the overall approach of the testing services followed by a discussion on the road ahead.