jacksonvanover - Overview
ucd-plse/FPDiff ucd-plse/FPDiff Public
FPDiff is a tool for automated, end-to-end differential testing that, given only library source code as input, extracts numerical function signatures, synthesizes drivers, creates equivalence class…