Search Results - Wüstholz, Valentin

Refine Results
  1. 1
    The Dafny Integrated Development Environment

    The Dafny Integrated Development Environment by Leino, K. Rustan M., Wüstholz, Valentin

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Targeted Greybox Fuzzing with Static Lookahead Analysis

    Targeted Greybox Fuzzing with Static Lookahead Analysis by Wustholz, Valentin, Christakis, Maria

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Guiding Dynamic Symbolic Execution toward Unverified Program Executions

    Guiding Dynamic Symbolic Execution toward Unverified Program Executions by Christakis, Maria, Muller, Peter, Wustholz, Valentin

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Olympia: Fuzzer Benchmarking for Solidity

    Olympia: Fuzzer Benchmarking for Solidity by Chadt, Jana, Hochrainer, Christoph, Wustholz, Valentin, Christakis, Maria

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Interrogation Testing of Program Analyzers for Soundness and Precision Issues

    Interrogation Testing of Program Analyzers for Soundness and Precision Issues by Kaindlstorfer, David, Isychev, Anastasia, Wustholz, Valentin, Christakis, Maria

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Perfectly parallel fairness certification of neural networks

    Perfectly parallel fairness certification of neural networks by Urban, Caterina, Christakis, Maria, Wüstholz, Valentin, Zhang, Fuyuan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Constraint-Based Test Oracles for Program Analyzers

    Constraint-Based Test Oracles for Program Analyzers by Fleischmann, Markus, Kaindlstorfer, David, Isychev, Anastasia, Wustholz, Valentin, Christakis, Maria

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Automatically Testing Implementations of Numerical Abstract Domains

    Automatically Testing Implementations of Numerical Abstract Domains by Bugariu, Alexandra, Wustholz, Valentin, Christakis, Maria, Muller, Peter

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    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:
  10. 10
    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:
  11. 11
    Fuzzing Processing Pipelines for Zero-Knowledge Circuits

    Fuzzing Processing Pipelines for Zero-Knowledge Circuits by Hochrainer, Christoph, Isychev, Anastasia, Wüstholz, Valentin, Christakis, Maria

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Targeted Greybox Fuzzing with Static Lookahead Analysis

    Targeted Greybox Fuzzing with Static Lookahead Analysis by Wüstholz, Valentin, Christakis, Maria

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Harvey: A Greybox Fuzzer for Smart Contracts

    Harvey: A Greybox Fuzzer for Smart Contracts by Wüstholz, Valentin, Christakis, Maria

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Learning Inputs in Greybox Fuzzing

    Learning Inputs in Greybox Fuzzing by Wüstholz, Valentin, Christakis, Maria

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Inductive Predicate Synthesis Modulo Programs (Extended)

    Inductive Predicate Synthesis Modulo Programs (Extended) by Scott, Wesley, Christakis, Maria, Navas, Jorge A, Trefler, Richard, Wüstholz, Valentin, Gurfinkel, Arie

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    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:
  17. 17
    Differentially Testing Soundness and Precision of Program Analyzers

    Differentially Testing Soundness and Precision of Program Analyzers by Klinger, Christian, Christakis, Maria, Wüstholz, Valentin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    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:
  19. 19
    Perfectly Parallel Fairness Certification of Neural Networks

    Perfectly Parallel Fairness Certification of Neural Networks by Urban, Caterina, Christakis, Maria, Wüstholz, Valentin, Zhang, Fuyuan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing

    Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing by Mansur, Muhammad Numair, Christakis, Maria, Wüstholz, Valentin, Zhang, Fuyuan

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

Search Tools: