Discussion. Differential testing offers an attractive property. If
a test case is executed on two API implementations with the
same initial state, any inconsistency in the final states indicates
a problem in at least one of the API implementations. That is,
differential testing does not produce false positives.