Academic Journal
AutoTestAI: Bridging Solidity Source Code and Structured Test Specifications for AI-Assisted Smart Contract Validation
| Τίτλος: | AutoTestAI: Bridging Solidity Source Code and Structured Test Specifications for AI-Assisted Smart Contract Validation |
|---|---|
| Συγγραφείς: | Xie, S., Yang, X., Pan, Y., Deng, G., Jin, C., Huang, K. |
| Πηγή: | IEEE Access Access, IEEE. 14:101304-101315 2026 |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISSN: | 21693536 |
|---|---|
| DOI: | 10.1109/ACCESS.2026.3709821 |