Test a Smart Contract in Solidity with Constrained and Fuzzed Inputs by Noah Hein