A Fuzz Testing Service for Assuring Smart Contracts. - Xiupei Mei; Imran Ashraf 001; Bo Jiang 001; Wing Kwong Chan (QRS Companion, 2019)

GasFuzzer: Fuzzing Ethereum Smart Contract Binaries to Expose Gas-Oriented Exception Security Vulnerabilities. - Imran Ashraf 001; Xiaoxue Ma; Bo Jiang 001; Wing Kwong Chan (IEEE Access, 2020)

WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection. - Bo Jiang 001; Yifei Chen; Dong Wang; Imran Ashraf 001; W. K. Chan 001 (QRS, 2021)

Sound Predictive Atomicity Violation Detection§. - Xiaoxue Ma; Imran Ashraf 001; W. K. Chan 001 (QRS, 2021)

OPE: Transforming Programs with Clean and Precise Separation of Tested Intraprocedural Program Paths with Path Profiling. - Chunbai Yang; Imran Ashraf 001; Xiaoxue Ma; Hao Zhang 085; W. K. Chan 001 (QRS, 2021)

Execution Repair for Spark Programs by Active Maintenance of Partition Dependency. - Xiupei Mei; Imran Ashraf 001; Xiaoxue Ma; Hao Zhang 085; Zhengyuan Wei; Haipeng Wang 005; W. K. Chan 001 (IEEE Access, 2021)

An Empirical Study on the Effects of Entry Function Pairs in Fuzzing Smart Contracts. - Imran Ashraf 001; W. K. Chan 001 (COMPSAC, 2022)

Predictive Mutation Analysis of Test Case Prioritization for Deep Neural Networks. - Zhengyuan Wei; Haipeng Wang 005; Imran Ashraf 001; W. K. Chan 001 (QRS, 2022)

Davida: A Decentralization Approach to Localizing Transaction Sequences for Debugging Transactional Atomicity Violations. - Xiaoxue Ma; Imran Ashraf 001; W. K. Chan 001 (IEEE Trans. Reliab., 2023)

DeepPatch: Maintaining Deep Learning Model Programs to Retain Standard Accuracy with Substantial Robustness Improvement. - Zhengyuan Wei; Haipeng Wang 005; Imran Ashraf 001; Wing-Kwong Chan (ACM Trans. Softw. Eng. Methodol., 2023)