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
More Details
ISBN:9798350329964
ISSN:26431572
DOI:10.1109/ASE56229.2023.00142
Published in:2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Automated Software Engineering (ASE), 2023 38th IEEE/ACM International Conference on, ASE