Agentic Specification Generator for Move Programs
| Title: | Agentic Specification Generator for Move Programs |
|---|---|
| Authors: | Fu, Yu-Fu; Xu, Meng; Kim, Taesoo |
| Source: | 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2025 40th IEEE/ACM International Conference on. :1286-1298 Nov, 2025 |
| Relation: | 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) |
| Database: | IEEE Xplore Digital Library |