Using AI to Automate Smart Contract Testing: Tools, Strategies, and Common Problems

Hello GoPlus Labs Community,

I am researching how to integrate AI into the smart contract testing process to minimize errors, increase efficiency, and save time. However, I encountered some problems and would like to discuss with everyone:

Which AI tool is suitable for analyzing smart contract logic, detecting bugs or potential exploits?

AI Testing Implementation Strategy: How should static analysis, simulation, or automated unit testing be combined for optimal efficiency?

Common Problems: AI sometimes reports false positives/negatives, or is confusing when predicting cross-chain risks. Has anyone encountered this and how to solve it?

Actual Case Study: If anyone has applied AI in smart contract testing, sharing Among Us workflow, tools, and results would be extremely helpful.

My goal is to share practical knowledge, learn best practices from the community, and at the same time build a safer, more efficient smart contract testing process using AI.

Looking forward to hearing from developers, auditors, and AI enthusiasts to discuss together!

Thanks everyone in advance!