Differential testing framework 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

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

Data-Oriented Differential Testing of ORM Systems.

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

A tool that expands tests to kill survived mutants

Integrated robust and reliable ML Pipelines for Research and Production environment