equivalence-testing

Testing Won't Prove Two Functions Are Equivalent. Here's What Will.

N-version programming assumes your implementations agree.