Conference
SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding
| 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 |
Be the first to leave a comment!