Academic Journal
View in EDS

AutoTestAI: Bridging Solidity Source Code and Structured Test Specifications for AI-Assisted Smart Contract Validation

Bibliographic Details
Title: AutoTestAI: Bridging Solidity Source Code and Structured Test Specifications for AI-Assisted Smart Contract Validation
Authors: Xie, S., Yang, X., Pan, Y., Deng, G., Jin, C., Huang, K.
Source: IEEE Access Access, IEEE. 14:101304-101315 2026
Database: IEEE Xplore Digital Library
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://resolver.ebsco.com/c/fiv2js/result?sid=EBSCO:edseee&genre=article&issn=21693536&ISBN=&volume=14&issue=&date=20260101&spage=101304&pages=101304-101315&title=IEEE Access, Access, IEEE&atitle=AutoTestAI%3A%20Bridging%20Solidity%20Source%20Code%20and%20Structured%20Test%20Specifications%20for%20AI-Assisted%20Smart%20Contract%20Validation&aulast=Xie%2C%20S.&id=DOI:10.1109/ACCESS.2026.3709821
    Name: Full Text Finder (for New FTF UI) (ns324271)
    Category: fullText
    Text: Full Text Finder
    MouseOverText: Full Text Finder
Header DbId: edseee
DbLabel: IEEE Xplore Digital Library
An: edseee.11594821
RelevancyScore: 1116
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 1115.63562011719
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: AutoTestAI: Bridging Solidity Source Code and Structured Test Specifications for AI-Assisted Smart Contract Validation
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Xie%2C+S%2E%22">Xie, S.</searchLink><br /><searchLink fieldCode="AR" term="%22Yang%2C+X%2E%22">Yang, X.</searchLink><br /><searchLink fieldCode="AR" term="%22Pan%2C+Y%2E%22">Pan, Y.</searchLink><br /><searchLink fieldCode="AR" term="%22Deng%2C+G%2E%22">Deng, G.</searchLink><br /><searchLink fieldCode="AR" term="%22Jin%2C+C%2E%22">Jin, C.</searchLink><br /><searchLink fieldCode="AR" term="%22Huang%2C+K%2E%22">Huang, K.</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: IEEE Access Access, IEEE. 14:101304-101315 2026
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edseee&AN=edseee.11594821
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/ACCESS.2026.3709821
    PhysicalDescription:
      Pagination:
        PageCount: 12
        StartPage: 101304
    Titles:
      – TitleFull: AutoTestAI: Bridging Solidity Source Code and Structured Test Specifications for AI-Assisted Smart Contract Validation
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Xie, S.
      – PersonEntity:
          Name:
            NameFull: Yang, X.
      – PersonEntity:
          Name:
            NameFull: Pan, Y.
      – PersonEntity:
          Name:
            NameFull: Deng, G.
      – PersonEntity:
          Name:
            NameFull: Jin, C.
      – PersonEntity:
          Name:
            NameFull: Huang, K.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2026
          Identifiers:
            – Type: issn-print
              Value: 21693536
            – Type: issn-locals
              Value: edseee.IEEEJournals
          Numbering:
            – Type: volume
              Value: 14
          Titles:
            – TitleFull: IEEE Access, Access, IEEE
              Type: main
ResultId 1