| FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs KM Alshmrany, M Aldughaim, A Bhayat, LC Cordeiro International Conference On Tests And Proofs, 85-105, 2021 | 26 | 2021 |
| FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing: (Competition Contribution) KM Alshmrany, M Aldughaim, A Bhayat, LC Cordeiro International Conference On Fundamental Approaches To Software Engineering …, 2022 | 19 | 2022 |
| FuSeBMC: A white-box fuzzer for finding security vulnerabilities in C programs (competition contribution) KM Alshmrany, RS Menezes, MR Gadelha, LC Cordeiro International Conference on Fundamental Approaches to Software Engineering …, 2021 | 18 | 2021 |
| FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation: (Competition Contribution) M Aldughaim, KM Alshmrany, MR Gadelha, R de Freitas, LC Cordeiro International Conference on Fundamental Approaches to Software Engineering …, 2023 | 8 | 2023 |
| Position paper: Towards a hybrid approach to protect against memory safety vulnerabilities K Alshmrany, A Bhayat, F Brauße, L Cordeiro, K Korovin, T Melham, ... 2022 IEEE Secure Development Conference (SecDev), 52-58, 2022 | 4 | 2022 |
| FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis KM Alshmrany, M Aldughaim, A Bhayat, F Shmarov, F Aljaafari, ... arXiv preprint arXiv:2206.14068, 2022 | 3 | 2022 |
| FuSeBMC IA: Interval Analysis and Methods for Test Case Generation M Aldughaim, KM Alshmrany, MR Gadelha, R de Freitas, LC Cordeiro Fundamental Approaches to Software Engineering LNCS 13991, 324, 2023 | 2 | 2023 |
| Incremental Symbolic Bounded Model Checking of Software Using Interval Methods via Contractors M Aldughaim, K Alshmrany, R Menezes, L Cordeiro, A Stancu arXiv preprint arXiv:2012.11245, 2020 | 2 | 2020 |
| Finding security vulnerabilities in network protocol implementations K Alshmrany, L Cordeiro arXiv preprint arXiv:2001.09592, 2020 | 2 | 2020 |
| Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities A Bhayat, L Cordeiro, G Reger, F Shmarov, K Korovin, T Melham, ... Authorea Preprints, 2023 | 1 | 2023 |
| FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning KM Alshmrany, M Aldughaim, C Wei, T Sweet, R Allmendinger, ... arXiv preprint arXiv:2404.06031, 2024 | | 2024 |
| Efficient hybrid fuzzing for detecting vulnerabilities and achieving high coverage in software K Alshmrany University of Manchester, 2023 | | 2023 |
| Williams, Laurie 69 Xiao, Ya 61 Yao, Danfeng 61, 77 Yasar, Hasan 5 Y Zhao, N Allen, K Alshmrany, S Andreina, N Asokan, P Bajpai, SK Basak, ... | | |
