AutoTestAI: Bridging Solidity Source Code and Structured Test Specifications for AI-Assisted Smart Contract Validation
This paper proposes AutoTestAI, an exploratory implementation-oriented framework that combines contract preprocessing, a structured auditor-style prompt, and multilayer output purification to produce machine-readable CSV test specifications suitable for downstream review and possible test implementation.