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
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.
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.
An emulator to run mips executable and to differentially validate noop.
#计算机科学#"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.
CrossASR | IEEE ICSME 2020 | Efficient Differential Testing of Automatic Speech Recognition via Text-To-Speech
QDiff: Differential Testing of Quantum Software Stacks (ASE 2021)
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
Automated Transplantation and Differential Testing for Clones (ICSE 2017)
A tool that expands tests to kill survived mutants