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

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).

A differential testing tool targeting SPIRV based on structured fuzzing techniques

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.

A differential testing library for Apache Flink.

"D3: Differential Testing of Distributed Deep Learning with Model Generation" by Jiannan Wang, Hung Viet Pham, Qi Li, Lin, Tan, Yu Guo, Adnan Aziz, and Erik Meijer.

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

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

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

Artifact of "DebCovDiff: Differential Testing of Coverage Measurement Tools on Real-World Projects" (ASE '25)

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