Dr. ASHRAF Imran

?
Filters
Filters

Reset

to
1 - 10 out of 10Page size: 20

Research Output

  1. 2023
  2. Published

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

    WEI, Z., WANG, H., ASHRAF, I. & CHAN, W., Sept 2023, In: ACM Transactions on Software Engineering and Methodology. 32, 6, 150.

    Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review

    Scopus citations: 1
    Check@CityULib
  3. Published

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

    Ma, X., Ashraf, I. & Chan, W. K., Jun 2023, In: IEEE Transactions on Reliability. 72, 2, p. 808-826 19 p.

    Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review

    Scopus citations: 2
    Check@CityULib
  4. 2022
  5. Published

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

    Ashraf, I. & Chan, W. K., 2022, Proceedings - 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC 2022). Leong, H. V., Sarvestani, S. S., Teranishi, Y., Cuzzocrea, A., Kashiwazaki, H., Towey, D., Yang, J. & Shahriar, H. (eds.). Institute of Electrical and Electronics Engineers, Inc., p. 1716-1721 6 p. (Proceedings - IEEE Annual Computers, Software, and Applications Conference, COMPSAC).

    Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

    Scopus citations: 1
    Check@CityULib
  6. Published

    Predictive Mutation Analysis of Test Case Prioritization for Deep Neural Networks

    Wei, Z., Wang, H., Ashraf, I. & Chan, W. K., 2022, Proceedings - 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS 2022). Institute of Electrical and Electronics Engineers, Inc., p. 682-693 10062402

    Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

    Scopus citations: 4
    Check@CityULib
  7. 2021
  8. Published

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

    Yang, C., Ashraf, I., Ma, X., Zhang, H. & Chan, W. K., Dec 2021, Proceedings - 2021 21st International Conference on Software Quality, Reliability and Security (QRS 2021). Institute of Electrical and Electronics Engineers, Inc., p. 279-290 12 p. (IEEE International Conference on Software Quality Reliability and Security).

    Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

    Check@CityULib
  9. Published

    Sound Predictive Atomicity Violation Detection

    Ma, X., Ashraf, I. & Chan, W. K., Dec 2021, PROCEEDINGS - 2021 21st International Conference on Software Quality, Reliability and Security, QRS 2021. Institute of Electrical and Electronics Engineers, Inc., p. 114-125

    Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

    Check@CityULib
  10. Published

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

    Jiang, B., Chen, Y., Wang, D., Ashraf, I. & Chan, W. K., Dec 2021, PROCEEDINGS - 2021 21st International Conference on Software Quality, Reliability and Security - QRS 2021. Institute of Electrical and Electronics Engineers, Inc., p. 926-937 (IEEE International Conference on Software Quality Reliability and Security).

    Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

    Scopus citations: 9
    Check@CityULib
  11. Published

    Execution Repair for Spark Programs by Active Maintenance of Partition Dependency

    MEI, X., ASHRAF, I., MA, X., ZHANG, H., WEI, Z., WANG, H. & CHAN, W. K., 2021, In: IEEE Access. 9, p. 101555-101573

    Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review

    Check@CityULib
  12. 2020
  13. Published

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

    ASHRAF, I., MA, X., JIANG, B. & CHAN, W. K., 2020, In: IEEE Access. 8, p. 99552-99564 13 p.

    Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review

    Scopus citations: 30
    Check@CityULib
  14. 2019
  15. Published

    A Fuzz Testing Service for Assuring Smart Contracts

    Mei, X., Ashraf, I., Jiang, B. & Chan, W. K., Jul 2019, 2019 IEEE 19th International Conference on Software Quality, Reliability, and Security Companion, QRS-C . Institute of Electrical and Electronics Engineers, Inc., p. 544-545 8859497. (IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)).

    Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

    Scopus citations: 15
    Check@CityULib