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

A differential testing tool targeting SPIRV based on structured fuzzing techniques

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

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.

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

A differential testing library for Apache Flink.

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

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