Mohannad Aldughaim

Orcid: 0000-0003-1708-1399

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

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

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

[BibT_eX]

[DOI]

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

2023

ESBMC v7.4: Harnessing the Power of Intervals.

[BibT_eX]

[DOI]

CoRR, 2023

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

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

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

[BibT_eX]

[DOI]

CoRR, 2022

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

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

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

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

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

2020

Bounded Model Checking of Software Using Interval Methods via Contractors.

[BibT_eX]

[DOI]

CoRR, 2020

Mohannad Aldughaim

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...