Differential Testing
Kind: technique
Record: reasoning:technique-differential-testing
Canonical: Reasoning
Compares observed results with a reference implementation, the oracle
Listed in Reasoning records, after Property Based Testing and before Contract Testing.