kaled Alshmrany

University of Manchester Manchester Kaled Alshmrany is a PhD candidate at The University of Manchester and a Faculty Member at The Institute of Public Administration (IPA), Saudi Arabia.

Results 1 repositories owned by


kaled Alshmrany

FuSeBMC

42

Stars

5

Forks

Watchers

FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs.

kaled-alshmrany

bounded-model-checking

selective-fuzzer