An Approach to Optimize Symbolic Execution in Ethereum Smart Contracts. - Yi Liu; Lizhi Cai; Chenchen Chai; Yuan Ma (QRS Companion, 2024)

Exploring better alternatives to size metrics for explainable software defect prediction. - Chenchen Chai; Guisheng Fan; Huiqun Yu; Zijie Huang 001; Jianshu Ding; Yao Guan (Softw. Qual. J., 2024)