Get the Whitepaper called Smart Contract Automated Testing Guidelines that provides guidance on automation.
You can download it from the following link: https://packetstormsecurity.com/files/download/163290/smart-contract.pdf
Source: https://packetstormsecurity.com/files/163290/Smart-Contract-Automated-Testing-Guidelines.html