Topic: "differential-testing"
narfindustries/http-garden
Differential testing framework for HTTP implementations
Language: Python - Size: 672 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 816 - Forks: 73
crytic/etheno 📦
Simplify Ethereum security analysis and testing
Language: Python - Size: 738 KB - Last synced at: 11 days ago - Pushed at: 2 months ago - Stars: 340 - Forks: 33
SoftSec-KAIST/MeanDiff
Testing Intermediate Representations for Binary Analysis (ASE '17)
Language: F# - Size: 369 KB - Last synced at: 6 days ago - Pushed at: over 6 years ago - Stars: 81 - Forks: 11
rustsmith/rustsmith
A randomized program fuzzer for the Rust programming language
Language: Kotlin - Size: 343 KB - Last synced at: 9 months ago - Pushed at: almost 2 years ago - Stars: 53 - Forks: 3
dns-groot/Ferret
Automatic Test generator and Differential Tester for DNS Nameserver implementations
Language: Python - Size: 449 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 21 - Forks: 5
rayanht/SPIRVSmith
A differential testing tool targeting SPIRV based on structured fuzzing techniques
Language: Python - Size: 796 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 15 - Forks: 2
theosotr/cynthia
Data-Oriented Differential Testing of ORM Systems.
Language: Scala - Size: 1.98 MB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 14 - Forks: 1
warisgill/FedDefender
FedDefender is a novel defense mechanism designed to safeguard Federated Learning from the poisoning attacks (i.e., backdoor attacks).
Language: Python - Size: 37.1 KB - Last synced at: 21 days ago - Pushed at: 10 months ago - Stars: 13 - Forks: 3
verivital/slsf_randgen
Automatically finding bugs in Matlab/Simulink compiler tool chain using randomized differential testing
Language: MATLAB - Size: 788 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 13 - Forks: 10
nju-mips/nemu-mips32
An emulator to run mips executable and to differentially validate noop.
Language: C - Size: 926 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 6 - Forks: 2
fniksic/diffstream
A differential testing library for Apache Flink.
Language: Java - Size: 69.1 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 6 - Forks: 1
soarsmu/CrossASR
CrossASR | IEEE ICSME 2020 | Efficient Differential Testing of Automatic Speech Recognition via Text-To-Speech
Language: Python - Size: 4.41 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1
Slava0135/N3onDiff
Differential fuzzing for Neo (N3) blockchain virtual machine based on LibAFL
Language: Rust - Size: 226 KB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
nju-mips/workbench
Workbench of nju-mips, this repo implements a ready-to-work framework for CPU development. It uses differential testing to help find implementation bugs.
Language: Verilog - Size: 345 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 3
UCLA-SEAL/Grafter
Automated Transplantation and Differential Testing for Clones (ICSE 2017)
Language: Java - Size: 52.4 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1
UCLA-SEAL/QDiff
QDiff: Differential Testing of Quantum Software Stacks (ASE 2021)
Language: Python - Size: 68.1 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
Slava0135/DIFFuzzer
Differential Filesystem Fuzzer
Language: Rust - Size: 758 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 1
MvMukesh/models_in_production
Integrated robust and reliable ML Pipelines for Research and Production environment
Language: Jupyter Notebook - Size: 11.7 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
Slava0135/dogfood Fork of midwinter1993/dogfood
Differential testing for Linux filesystems based on Dogfood
Language: Python - Size: 176 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
ibourn/1-horse-store
Cyfrin-Updraft assembly - EVM - formal verification course
Language: C++ - Size: 58.6 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
ZhongXiLu/LuMutator
A tool that expands tests to kill survived mutants
Language: Java - Size: 45.4 MB - Last synced at: 6 months ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
