Kaled M. Alshmrany | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Lucas C. Cordeiro
28 publications
Mikhail R. Gadelha
8 publications
Fatimah Aljaafari
4 publications
Fedor Shmarov
4 publications
Mohannad Aldughaim
3 publications
Rafael S. Menezes
2 publications
Ahmed Bhayat
2 publications

research

∙ 06/28/2022

FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis

Bounded model checking (BMC) and fuzzing techniques are among the most e...

0 Kaled M. Alshmrany, et al. ∙

research

∙ 12/20/2021

FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing

FuSeBMC is a test generator for finding security vulnerabilities in C pr...

0 Kaled M. Alshmrany, et al. ∙

research

∙ 12/21/2020

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs

We describe and evaluate a novel white-box fuzzer for C programs named F...

0 Kaled M. Alshmrany, et al. ∙