| GasFuzzer: Fuzzing ethereum smart contract binaries to expose gas-oriented exception security vulnerabilities I Ashraf, X Ma, B Jiang, WK Chan IEEE Access 8, 99552-99564, 2020 | 43 | 2020 |
| A fuzz testing service for assuring smart contracts X Mei, I Ashraf, B Jiang, WK Chan 2019 IEEE 19th International Conference on Software Quality, Reliability and …, 2019 | 19 | 2019 |
| Development and nutritional evaluation of date bran muffins T Yaseen, SU Rehman, I Ashraf, S Ali, I Pasha J. Nutr. Food Sci 2, 124, 2012 | 15 | 2012 |
| WANA: Symbolic execution of wasm bytecode for extensible smart contract vulnerability detection B Jiang, Y Chen, D Wang, I Ashraf, WK Chan 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021 | 11 | 2021 |
| Shelf life assessment of muffins prepared by date syrup and wheat bran T Yaseen, I Ashraf, SU Rehman, S Ali, I Pasho Journal of Public Health and Biological Sciences 2, 156-163, 2013 | 9 | 2013 |
| Predictive mutation analysis of test case prioritization for deep neural networks Z Wei, H Wang, I Ashraf, WK Chan 2022 IEEE 22nd International Conference on Software Quality, Reliability and …, 2022 | 4 | 2022 |
| Davida: A Decentralization Approach to Localizing Transaction Sequences for Debugging Transactional Atomicity Violations X Ma, I Ashraf, WK Chan IEEE Transactions on Reliability, 2022 | 2 | 2022 |
| An Empirical Study on the Effects of Entry Function Pairs in Fuzzing Smart Contracts I Ashraf, WK Chant 2022 IEEE 46th Annual Computers, Software, and Applications Conference …, 2022 | 1 | 2022 |
| OPE: Transforming Programs with Clean and Precise Separation of Tested Intraprocedural Program Paths with Path Profiling C Yang, I Ashraf, X Ma, H Zhang, WK Chan 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021 | 1 | 2021 |
| Biomass gasification technology for a distinct renewable electricity/heat production scheme; Developed regression models based on machine learning algorithms for power/hot … X Ma, TUK Nutakki, V Goyal, A Albani, IM Ashraf, T Alkhalifah, S Alkhalaf, ... Process Safety and Environmental Protection 182, 71-85, 2024 | | 2024 |
| Multi-aspect exergo-economic/environmental study/optimization of an eco-friendly heat integration process for gas turbine modular helium reactors in integration with a Stirling … MW Tian, AM Abed, BS Chauhan, R Ghandour, A Albani, S Alkhalaf, ... Case Studies in Thermal Engineering 51, 103585, 2023 | | 2023 |
| DeepPatch: Maintaining Deep Learning Model Programs to Retain Standard Accuracy with Substantial Robustness Improvement Z Wei, H Wang, I Ashraf, WK Chan ACM Transactions on Software Engineering and Methodology 32 (6), 1-49, 2023 | | 2023 |
| Sound Predictive Atomicity Violation Detection § X Ma, I Ashraf, WK Chan 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021 | | 2021 |
| Execution Repair for Spark Programs by Active Maintenance of Partition Dependency X Mei, I Ashraf, X Ma, H Zhang, Z Wei, H Wang, WK Chan IEEE Access 9, 101555-101573, 2021 | | 2021 |
| 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS)| 978-1-6654-7704-8/22/$31.00© 2022 IEEE| DOI: 10.1109/QRS57517. 2022.00118 R Abreu, B Afshinpour, S Akiyama, OI Al-Bataineh, SC Allala, P Almeida, ... | | |
| 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)| 978-1-6654-5813-9/21/$31.00© 2021 IEEE| DOI: 10.1109/QRS54544. 2021.00119 D Afriyie, C Aguilera González, I Ahmed, OI Al-Bataineh, L Albors Zumel, ... | | |
