Unit Crowdsourcing Software Testing of Go Program. - Run Luo; Song Huang; Meijuan Wang; Jinchang Hu; Jinhu Du (QRS, 2021)

Test Case Generation for Ethereum Smart Contract based on Data Dependency Analysis of State Variable. - Jinhu Du; Song Huang; Xingya Wang; Changyou Zheng; Jin-lei Sun (QRS, 2022)

A Detection Method for Scarcity Defect of Blockchain Digital Asset based on Invariant Analysis. - Jin-lei Sun; Song Huang; Xingya Wang; Meijuan Wang; Jinhu Du (QRS, 2022)