Differential fuzzing REPL for HTTP implementations.

Simplify Ethereum security analysis and testing

Testing Intermediate Representations for Binary Analysis (ASE '17)

A randomized program fuzzer for the Rust programming language

Automatic Test generator and Differential Tester for DNS Nameserver implementations

Automatically finding bugs in Matlab/Simulink compiler tool chain using randomized differential testing

A differential testing tool targeting SPIRV based on structured fuzzing techniques

Data-Oriented Differential Testing of ORM Systems.

FedDefender is a novel defense mechanism designed to safeguard Federated Learning from the poisoning attacks (i.e., backdoor attacks).

For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qian, Hung Viet Pham, and Lin Tan.

An emulator to run mips executable and to differentially validate noop.

A differential testing library for Apache Flink.

CrossASR | IEEE ICSME 2020 | Efficient Differential Testing of Automatic Speech Recognition via Text-To-Speech

QDiff: Differential Testing of Quantum Software Stacks (ASE 2021)

Automated Transplantation and Differential Testing for Clones (ICSE 2017)

Cyfrin-Updraft assembly - EVM - formal verification course

Workbench of nju-mips, this repo implements a ready-to-work framework for CPU development. It uses differential testing to help find implementation bugs.

Differential fuzzing for Neo (N3) blockchain virtual machine based on LibAFL

Differential Filesystem Fuzzer

A tool that expands tests to kill survived mutants