White hats automating smart contract testing.