Login / Signup
Mohannad Aldughaim
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 7
Top Topics
Generation Process
Code Coverage
Interval Analysis
Test Case Generation
Top Venues
CoRR
FASE
TAP@STAF
</>
Publications
</>
Mohannad Aldughaim
,
Kaled M. Alshmrany
,
Mikhail R. Gadelha
,
Rosiane de Freitas
,
Lucas C. Cordeiro
FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution).
FASE
(2023)
Rafael Menezes
,
Mohannad Aldughaim
,
Bruno Farias
,
Xianzhiyu Li
,
Edoardo Manino
,
Fedor Shmarov
,
Kunjian Song
,
Franz Brauße
,
Mikhail R. Gadelha
,
Norbert Tihanyi
,
Konstantin Korovin
,
Lucas C. Cordeiro
ESBMC v7.4: Harnessing the Power of Intervals.
CoRR
(2023)
Kaled M. Alshmrany
,
Mohannad Aldughaim
,
Ahmed Bhayat
,
Lucas C. Cordeiro
FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution).
FASE
(2022)
Kaled M. Alshmrany
,
Mohannad Aldughaim
,
Ahmed Bhayat
,
Fedor Shmarov
,
Fatimah Aljaafari
,
Lucas C. Cordeiro
FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis.
CoRR
(2022)
Kaled M. Alshmrany
,
Mohannad Aldughaim
,
Ahmed Bhayat
,
Lucas C. Cordeiro
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs.
TAP@STAF
(2021)
Kaled M. Alshmrany
,
Mohannad Aldughaim
,
Ahmed Bhayat
,
Lucas C. Cordeiro
FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing.
CoRR
(2021)
Mohannad Aldughaim
,
Kaled M. Alshmrany
,
Mohamed Mustafa
,
Lucas C. Cordeiro
,
Alexandru Stancu
Bounded Model Checking of Software Using Interval Methods via Contractors.
CoRR
(2020)