kaled Alshmrany

icon company University of Manchester icon location Manchester icon location Research Associate @The University of Manchester | Faculty Member @ Institute of Public Administration | Cyber-Security | Lead developer of FuSeBMC | Co-Founder

Results 1 repositories owned by kaled Alshmrany

FuSeBMC

43
Stars
6
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.

verified publisher icon kaled-alshmrany