Bounded Model Checking of Software Using Interval Methods via Contractors. - Mohannad Aldughaim; Kaled M. Alshmrany; Mohamed Mustafa; Lucas C. Cordeiro; Alexandru Stancu (CoRR, 2020)

FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs. - Kaled M. Alshmrany; Mohannad Aldughaim; Ahmed Bhayat; Lucas C. Cordeiro (TAP@STAF, 2021)

FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing. - Kaled M. Alshmrany; Mohannad Aldughaim; Ahmed Bhayat; Lucas C. Cordeiro (CoRR, 2021)

FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution). - Kaled M. Alshmrany; Mohannad Aldughaim; Ahmed Bhayat; Lucas C. Cordeiro (FASE, 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 v.5: Interval Analysis and Methods for Test Case Generation. - Mohannad Aldughaim; Kaled M. Alshmrany; Mikhail R. Gadelha; Rosiane de Freitas; Lucas C. Cordeiro (Zenodo, 2022)

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 (FASE, 2023)

ESBMC v7.4: Harnessing the Power of Intervals. - Rafael Menezes; Mohannad Aldughaim; Bruno Farias 001; Xianzhiyu Li; Edoardo Manino; Fedor Shmarov; Kunjian Song; Franz Brauße; Mikhail R. Gadelha; Norbert Tihanyi; Konstantin Korovin; Lucas C. Cordeiro (CoRR, 2023)

ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). - Rafael Sá Menezes; Mohannad Aldughaim; Bruno Farias 001; Xianzhiyu Li; Edoardo Manino; Fedor Shmarov; Kunjian Song; Franz Brauße; Mikhail R. Gadelha; Norbert Tihanyi; Konstantin Korovin; Lucas C. Cordeiro (TACAS (3), 2024)

FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning. - Kaled M. Alshmrany; Mohannad Aldughaim; Chenfeng Wei; Tom Sweet; Richard Allmendinger 001; Lucas C. Cordeiro (CoRR, 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 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., 2024)