How to secure Smart Contracts

unit tests fuzz tests fork tests invariant tests formal verification static analysis mutation testing static Analysis solo Audit in House Audit audit by Tier-B Company contests audit by Tier-A Company AI audit