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
MuSC: A Tool for Mutation Testing of Ethereum Smart Contract[C] 34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019) 2019 Li, Zixin Wu, Haoran Xu, Jiehui Wang, Xingya Zhang, Lingming Chen, Zhenyu
Towards Generating Cost-Effective Test-Suite for Ethereum Smart Contract[C] 2019 IEEE 26TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING (SANER) 2019 Wang, Xingya Wu, Haoran Sun, Weisong Zhao, Yuan
