A Detection Method for Scarcity Defect of Blockchain Digital Asset based on Invariant Analysis[C] 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS 2022 Sun, Jinlei Huang, Song Wang, Xingya Wang, Meijuan Du, Jinhu
Test Case Generation for Ethereum Smart Contract based on Data Dependency Analysis of State Variable[C] 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS 2022 Du, Jinhu Huang, Song Wang, Xingya Zheng, Changyou Sun, Jinlei
