Conference
View in EDS

SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding

Bibliographic Details
Title: SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding
Authors: Hao, Sicheng, Nan, Yuhong, Zheng, Zibin, Liu, Xiaohui
Source: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on. :294-306 Sep, 2023
Relation: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Database: IEEE Xplore Digital Library
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://login.libproxy.scu.edu/login?url=http://dl.acm.org/doi/10.1109/ASE56229.2023.00142?query=%22SmartCoCo%3A%20Checking%20Comment-Code%20Inconsistency%20in%20Smart%20Contracts%20via%20Constraint%20Propagation%20and%20Binding%22+AND+++294+2023
    Name: ACM Digital Library - Article Level Link
    Category: fullText
    Text: Full Text from ACM Digital Library
    MouseOverText: Full Text from ACM Digital Library
  – Url: https://login.libproxy.scu.edu/login?url=https://ieeexplore.ieee.org/document/10298432
    Name: EDS - IEEE (s8985755)
    Category: fullText
    Text: Check IEEE Xplore for full text
    MouseOverText: Check IEEE Xplore for full text. A new window will open.
  – Url: https://resolver.ebsco.com/c/xy5jbn/result?sid=EBSCO:edseee&genre=book&issn=26431572&ISBN=9798350329964&volume=&issue=&date=&spage=294&pages=294-306&title=2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on, ASE&atitle=SmartCoCo%3A%20Checking%20Comment-Code%20Inconsistency%20in%20Smart%20Contracts%20via%20Constraint%20Propagation%20and%20Binding&aulast=Hao%2C%20Sicheng&id=DOI:10.1109/ASE56229.2023.00142
    Name: Full Text Finder (for New FTF UI) (s8985755)
    Category: fullText
    Text: Find It @ SCU Libraries
    MouseOverText: Find It @ SCU Libraries
Header DbId: edseee
DbLabel: IEEE Xplore Digital Library
An: edseee.10298432
RelevancyScore: 1095
AccessLevel: 2
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 1095.25732421875
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Hao%2C+Sicheng%22">Hao, Sicheng</searchLink><br /><searchLink fieldCode="AR" term="%22Nan%2C+Yuhong%22">Nan, Yuhong</searchLink><br /><searchLink fieldCode="AR" term="%22Zheng%2C+Zibin%22">Zheng, Zibin</searchLink><br /><searchLink fieldCode="AR" term="%22Liu%2C+Xiaohui%22">Liu, Xiaohui</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) ASE Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on. :294-306 Sep, 2023
– Name: NoteTitleSource
  Label: Relation
  Group: SrcInfo
  Data: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)
PLink https://login.libproxy.scu.edu/login?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edseee&AN=edseee.10298432
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1109/ASE56229.2023.00142
    PhysicalDescription:
      Pagination:
        PageCount: 13
        StartPage: 294
    Titles:
      – TitleFull: SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Hao, Sicheng
      – PersonEntity:
          Name:
            NameFull: Nan, Yuhong
      – PersonEntity:
          Name:
            NameFull: Zheng, Zibin
      – PersonEntity:
          Name:
            NameFull: Liu, Xiaohui
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 11
              M: 09
              Type: published
              Y: 2023
          Identifiers:
            – Type: isbn-print
              Value: 9798350329964
            – Type: issn-print
              Value: 26431572
            – Type: issn-locals
              Value: edseee.IEEEConferenc
          Titles:
            – TitleFull: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on, ASE
              Type: main
ResultId 1