Kaled M. Alshmrany

14 papers B 4Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
A hybrid vision transformer with ensemble CNN framework for cervical cancer diagnosis.
BMC Medical Informatics Decis. Mak.
Aymen M. Al-Hejri, Riyadh M. Al-Tam, Archana Harsing Sable, Basheer Almuhaya, Sultan S. Alshamrani, Kaled M. Alshmrany
2025 B conf
ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution).
FASE
Chenfeng Wei, Tong Wu, Rafael Sá Menezes, Fedor Shmarov, Fatimah Aljaafari, Sangharatna Godboley, Kaled M. Alshmrany, Rosiane de Freitas, Lucas C. Cordeiro
2024 J jnl
FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning.
CoRR
Kaled M. Alshmrany, Mohannad Aldughaim, Chenfeng Wei, Tom Sweet, Richard Allmendinger, Lucas C. Cordeiro
2024 J jnl
FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis.
Formal Aspects Comput.
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
2023 B conf
FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution).
FASE
Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro
2022 J jnl
FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis.
CoRR
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Fedor Shmarov, Fatimah Aljaafari, Lucas C. Cordeiro
2022 B conf
FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution).
FASE
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
2022 — conf
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities.
SecDev
Kaled M. Alshmrany, Ahmed Bhayat, Franz Brauße, Lucas C. Cordeiro, Konstantin Korovin, Tom Melham, Mustafa A. Mustafa, Pierre Olivier, Giles Reger, Fedor Shmarov
2021 J jnl
FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing.
CoRR
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
2021 B conf
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution).
FASE
Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro
2021 — conf
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs.
TAP@STAF
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro
2020 J jnl
Bounded Model Checking of Software Using Interval Methods via Contractors.
CoRR
Mohannad Aldughaim, Kaled M. Alshmrany, Mohamed Mustafa, Lucas C. Cordeiro, Alexandru Stancu
2020 J jnl
Finding Security Vulnerabilities in Network Protocol Implementations.
CoRR
Kaled M. Alshmrany, Lucas C. Cordeiro
2020 J jnl
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs.
CoRR
Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro