Search Results - Eniser, Hasan Ferit

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    Virtualization of stateful services via machine learning

    Virtualization of stateful services via machine learning by Enişer, Hasan Ferit, Sen, Alper

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Importance-Driven Deep Learning System Testing

    Importance-Driven Deep Learning System Testing by Gerasimou, Simos, Eniser, Hasan Ferit, Sen, Alper, Cakan, Alper

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Automatically Testing Functional Properties of Code Translation Models

    Automatically Testing Functional Properties of Code Translation Models by Eniser, Hasan Ferit, Wüstholz, Valentin, Christakis, Maria

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Automatically Testing Functional Properties of Code Translation Models

    Automatically Testing Functional Properties of Code Translation Models by Hasan, Ferit Eniser, Wüstholz, Valentin, Christakis, Maria

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    RAID: Randomized Adversarial-Input Detection for Neural Networks

    RAID: Randomized Adversarial-Input Detection for Neural Networks by Hasan, Ferit Eniser, Christakis, Maria, Wüstholz, Valentin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Towards Translating Real-World Code with LLMs: A Study of Translating to Rust

    Towards Translating Real-World Code with LLMs: A Study of Translating to Rust by Hasan, Ferit Eniser, Zhang, Hanliang, Cristina, David, Wang, Meng, Christakis, Maria, Paulsen, Brandon, Dodds, Joey, Kroening, Daniel

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks

    Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks by Tercan, Alperen, Ghosh, Ahana, Hasan, Ferit Eniser, Christakis, Maria, Singla, Adish

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning

    DeepSmartFuzzer: Reward Guided Test Generation For Deep Learning by Demir, Samet, Hasan, Ferit Eniser, Sen, Alper

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    DeepFault: Fault Localization for Deep Neural Networks

    DeepFault: Fault Localization for Deep Neural Networks by Hasan, Ferit Eniser, Simos Gerasimou, Sen, Alper

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Specifying and Testing \(k\)-Safety Properties for Machine-Learning Models

    Specifying and Testing \(k\)-Safety Properties for Machine-Learning Models by Christakis, Maria, Hasan, Ferit Eniser, Hoffmann, Jörg, Singla, Adish, Wüstholz, Valentin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Importance-Driven Deep Learning System Testing

    Importance-Driven Deep Learning System Testing by Simos Gerasimou, Hasan, Ferit Eniser, Sen, Alper, Cakan, Alper

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

Search Tools: