Imran Ashraf

According to our database, Imran Ashraf authored at least 10 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

DeepPatch: Maintaining Deep Learning Model Programs to Retain Standard Accuracy with Substantial Robustness Improvement.

Zhengyuan Wei, Haipeng Wang, Imran Ashraf, Wing-Kwong Chan

ACM Trans. Softw. Eng. Methodol., November, 2023

Davida: A Decentralization Approach to Localizing Transaction Sequences for Debugging Transactional Atomicity Violations.

Xiaoxue Ma, Imran Ashraf, W. K. Chan

IEEE Trans. Reliab., 2023

2022

Predictive Mutation Analysis of Test Case Prioritization for Deep Neural Networks.

Zhengyuan Wei, Haipeng Wang, Imran Ashraf, W. K. Chan

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

An Empirical Study on the Effects of Entry Function Pairs in Fuzzing Smart Contracts.

Imran Ashraf, W. K. Chan

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

Execution Repair for Spark Programs by Active Maintenance of Partition Dependency.

Xiupei Mei, Imran Ashraf, Xiaoxue Ma, Hao Zhang, Zhengyuan Wei, Haipeng Wang, W. K. Chan

IEEE Access, 2021

OPE: Transforming Programs with Clean and Precise Separation of Tested Intraprocedural Program Paths with Path Profiling.

Chunbai Yang, Imran Ashraf, Xiaoxue Ma, Hao Zhang, W. K. Chan

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Sound Predictive Atomicity Violation Detection§.

Xiaoxue Ma, Imran Ashraf, W. K. Chan

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection.

Bo Jiang, Yifei Chen, Dong Wang, Imran Ashraf, W. K. Chan

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2020

GasFuzzer: Fuzzing Ethereum Smart Contract Binaries to Expose Gas-Oriented Exception Security Vulnerabilities.

Imran Ashraf, Xiaoxue Ma, Bo Jiang, Wing Kwong Chan

IEEE Access, 2020

2019

A Fuzz Testing Service for Assuring Smart Contracts.

Xiupei Mei, Imran Ashraf, Bo Jiang, Wing Kwong Chan

Proceedings of the 19th IEEE International Conference on Software Quality, 2019