Towards Automated Generation of Bug Benchmark for Smart Contracts. - Jiaming Ye; Mingliang Ma; Tianyong Peng; Yun Peng; Yinxing Xue (ICST Workshops, 2019)

Doublade: Unknown Vulnerability Detection in Smart Contracts Via Abstract Signature Matching and Refined Detection Rules. - Yinxing Xue; Jiaming Ye; Mingliang Ma; Lei Ma 003; Yi Li 008; Haijun Wang 002; Yun Lin 001; Tianyong Peng; Yang Liu 003 (CoRR, 2019)

Clairvoyance: cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts. - Jiaming Ye; Mingliang Ma; Yun Lin 001; Yulei Sui; Yinxing Xue (ICSE (Companion Volume), 2020)

Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts. - Yinxing Xue; Mingliang Ma; Yun Lin 001; Yulei Sui; Jiaming Ye; Tianyong Peng (ASE, 2020)

A Software Analysis Based Vulnerability Detection System For Smart Contracts. - Jiaming Ye; Mingliang Ma; Tianyong Peng; Yinxing Xue (Integrating Research and Practice in Software Engineering, 2020)

An empirical study of GUI widget detection for industrial mobile games. - Jiaming Ye; Ke Chen; Xiaofei Xie; Lei Ma 003; Ruochen Huang; Yingfeng Chen; Yinxing Xue; Jianjun Zhao 001 (ESEC/SIGSOFT FSE, 2021)

Machine Learning Guided Cross-Contract Fuzzing. - Yinxing Xue; Jiaming Ye; Wei Zhang; Jun Sun 001; Lei Ma 003; Haijun Wang 002; Jianjun Zhao 001 (CoRR, 2021)

Towards Benchmarking GUI Compatibility Testing on Mobile Applications. - Jiaming Ye; Mulong Xie; Siyuan Chen; Fuyuan Zhang; Lei Ma 003; Zhenchang Xing; Jianjun Zhao 001 (CoRR, 2022)

Vulpedia: Detecting vulnerable ethereum smart contracts via abstracted vulnerability signatures. - Jiaming Ye; Mingliang Ma; Yun Lin 001; Lei Ma 003; Yinxing Xue; Jianjun Zhao 001 (J. Syst. Softw., 2022)

Widget Detection-based Testing for Industrial Mobile Games. - Xiongfei Wu; Jiaming Ye; Ke Chen; Xiaofei Xie; Yujing Hu; Ruochen Huang; Lei Ma 003; Jianjun Zhao 001 (ICSE-SEIP, 2023)

QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. - Jiaming Ye; Shangzhou Xia; Fuyuan Zhang; Paolo Arcaini; Lei Ma 003; Jianjun Zhao 001; Fuyuki Ishikawa (ASE, 2023)

NiCro: Purely Vision-based, Non-intrusive Cross-Device and Cross-Platform GUI Testing. - Mulong Xie; Jiaming Ye; Zhenchang Xing; Lei Ma 003 (CoRR, 2023)

Construction Method for a Three-Dimensional Tunnel General Monomer Model Based on Parallel Pathfinding. - Jiaming Ye; Defu Che; Baodong Ma; Quan Liu; Kehan Qiu; Xiangxiang Shang (ISPRS Int. J. Geo Inf., 2023)

xFuzz: Machine Learning Guided Cross-Contract Fuzzing. - Yinxing Xue; Jiaming Ye; Wei Zhang; Jun Sun 001; Lei Ma 003; Haijun Wang 002; Jianjun Zhao 001 (IEEE Trans. Dependable Secur. Comput., 2024)

CuPCA: a web server for pan-cancer association analysis of large-scale cuproptosis-related genes. - Yishu Xu; Zhenshu Ma; Yajie Wang; Long Zhang; Jiaming Ye; Yuan Chen; Zhengrong Yuan (Database J. Biol. Databases Curation, 2024)

sGuard+: Machine Learning Guided Rule-Based Automated Vulnerability Repair on Smart Contracts. - Cuifeng Gao; Wenzhang Yang; Jiaming Ye; Yinxing Xue; Jun Sun 001 (ACM Trans. Softw. Eng. Methodol., 2024)