Mohannad Aldughaim | DeepAI

DeepAI

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

Featured Co-authors

Lucas C. Cordeiro
28 publications
Lucas Cordeiro
14 publications
Fatimah Aljaafari
4 publications
Fedor Shmarov
4 publications
Kaled M. Alshmrany
3 publications
Kaled Alshmrany
2 publications
Ahmed Bhayat
2 publications
Mohamed Mustafa
1 publication
Alexandru Stancu
1 publication

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

Bounded Model Checking of Software Using Interval Methods via Contractors

Bounded model checking (BMC) is a vital technique to find property viola...

0 Mohannad Aldughaim, et al. ∙