Search Results - Aldughaim, Mohannad

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis

    FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis by Alshmrany, Kaled, Aldughaim, Mohannad, Bhayat, Ahmed, Cordeiro, Lucas

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis

    FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis by Alshmrany, Kaled M, Aldughaim, Mohannad, Bhayat, Ahmed, Cordeiro, Lucas C

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study

    Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study by Rafael Sá Menezes, Manino, Edoardo, Shmarov, Fedor, Aldughaim, Mohannad, Rosiane de Freitas, Cordeiro, Lucas C

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Incremental Symbolic Bounded Model Checking of Software Using Interval Methods via Contractors

    Incremental Symbolic Bounded Model Checking of Software Using Interval Methods via Contractors by Aldughaim, Mohannad, Alshmrany, Kaled, Menezes, Rafael, Cordeiro, Lucas, Stancu, Alexandru

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning

    FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning by Alshmrany, Kaled M, Aldughaim, Mohannad, Wei, Chenfeng, Sweet, Tom, Allmendinger, Richard, Cordeiro, Lucas C

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing

    FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing by Alshmrany, Kaled M, Aldughaim, Mohannad, Bhayat, Ahmed, Cordeiro, Lucas C

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    ESBMC v7.4: Harnessing the Power of Intervals

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

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: