• TensorFuzz

  • Referenced in 4 articles [sw41846]
  • TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing. Machine learning models are notoriously difficult ... rare inputs. Specifically, we develop coverage-guided fuzzing (CGF) methods for neural networks...
  • Fuzz

  • Referenced in 3 articles [sw28653]
  • Fuzz typechecker for Z: This version of the fuzz type-checker for Z is released...
  • DLFuzz

  • Referenced in 3 articles [sw41845]
  • DLFuzz: Differential Fuzzing Testing of Deep Learning Systems. Deep learning (DL) systems are increasingly applied ... paper, we propose DLFuzz, the frst differential fuzzing testing framework to guide DL systems exposing...
  • Sulley

  • Referenced in 2 articles [sw15084]
  • Sulley is an actively developed fuzzing engine and fuzz testing framework consisting of multiple extensible ... exceeds the capabilities of most previously published fuzzing technologies, commercial and public domain. The goal...
  • BFF

  • Referenced in 1 article [sw15086]
  • Basic Fuzzing Framework (BFF). The CERT Basic Fuzzing Framework (BFF) is a software testing tool ... platforms. BFF performs mutational fuzzing on software that consumes file input. (Mutational fuzzing ... discover and analyze security vulnerabilities found via fuzzing...
  • QSYM

  • Referenced in 1 article [sw39689]
  • practical concolic execution engine tailored for hybrid fuzzing. Recently, hybrid fuzzing has been proposed ... address the limitations of fuzzing and concolic execution by combining both approaches. The hybrid approach ... execution engine, called QSYM, to support hybrid fuzzing. The key idea is to tightly integrate ... fuzzers, AFL and OSS-Fuzz...
  • VERIFAI

  • Referenced in 2 articles [sw32550]
  • including temporal-logic falsification, model-based systematic fuzz testing, parameter synthesis, counterexample analysis, and data...
  • Muffin

  • Referenced in 1 article [sw41827]
  • Testing Deep Learning Libraries via Neural Architecture Fuzzing. Deep learning (DL) techniques are proven effective ... Muffin applies a specifically-designed model fuzzing approach, which allows it to generate diverse...
  • DeepHunter

  • Referenced in 1 article [sw42698]
  • Deep Neural Network Defects via Coverage-Guided Fuzzing. In company with the data explosion over ... this paper, we propose DeepHunter, an automated fuzz testing framework for hunting potential defects...
  • Zzuf

  • Referenced in 1 article [sw15085]
  • rocket science: the idea of fuzzing input data is barely new, but zzuf’s main...
  • RESTler

  • Referenced in 1 article [sw36479]
  • RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through...
  • Echidna

  • Referenced in 1 article [sw37693]
  • smarts contracts. It uses sophisticated grammar-based fuzzing campaigns based on a contract...
  • Taintscope

  • Referenced in 0 articles [sw23360]
  • TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection. Fuzz testing ... security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common ... this paper, we present TaintScope, an automatic fuzzing system using dynamic taint analysis and symbolic ... TaintScope is the first checksum-aware fuzzing tool to the best of our knowledge...
  • OSS-Fuzz

  • Referenced in 0 articles [sw36429]
  • Fuzz: Continuous Fuzzing for Open Source Software. Fuzz testing is a well-known technique ... stability bugs by deploying guided in-process fuzzing of Chrome components, and we now want...
  • jwutil

  • Referenced in 0 articles [sw17211]
  • corner cases, which can be used for fuzzing your functions. The test suite has many...
  • pyrsp

  • Referenced in 0 articles [sw37203]
  • OpenOCD. Possible uses: on-device unit testing, fuzzing, reverse engineering...
  • Theano

  • Referenced in 98 articles [sw05894]
  • Theano is a Python library that allows you...
  • Python

  • Referenced in 2164 articles [sw14460]
  • Python is a widely used high-level, general...
  • NVD

  • Referenced in 5 articles [sw15083]
  • National Vulnerability Database. NVD is the U.S. government...
  • TensorFlow

  • Referenced in 653 articles [sw15170]
  • TensorFlow™ is an open source software library for...