Automated Testing : Mocha
Useful Links :
https://consensys.github.io/smart-contract-best-practices/security_tools/
https://tool.smartdec.net/knowledge
https://consensys.github.io/smart-contract-best-practices/known_attacks/
Tools Tried :
Solgraph : https://github.com/raineorshine/solgraph
Surya : https://github.com/ConsenSys/surya
SmartCheck : https://tool.smartdec.net/
Securify : https://securify.chainsecurity.com/
Linters Used :
https://github.com/duaraghav8/Solium
language-ethereum (vs-code)