Mohannad Aldughaim

According to our database, Mohannad Aldughaim authored at least 12 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis.

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro

Formal Aspects Comput., June, 2024

Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study.

Rafael Sá Menezes, Edoardo Manino, Fedor Shmarov, Mohannad Aldughaim, Rosiane de Freitas, Lucas C. Cordeiro

CoRR, 2024

FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning.

Kaled M. Alshmrany, Mohannad Aldughaim, Chenfeng Wei, Tom Sweet, Richard Allmendinger, Lucas C. Cordeiro

CoRR, 2024

ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution).

Rafael Sá 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

ESBMC v7.4: Harnessing the Power of Intervals.

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

CoRR, 2023

FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution).

Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

FuSeBMC v.5: Interval Analysis and Methods for Test Case Generation.

Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro

Dataset, December, 2022

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

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Fedor Shmarov, Fatimah Aljaafari, Lucas C. Cordeiro

CoRR, 2022

FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution).

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing.

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro

CoRR, 2021

FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs.

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro

Proceedings of the Tests and Proofs - 15th International Conference, 2021

2020

Bounded Model Checking of Software Using Interval Methods via Contractors.

Mohannad Aldughaim, Kaled M. Alshmrany, Mohamed Mustafa, Lucas C. Cordeiro, Alexandru Stancu

CoRR, 2020