Abstractions For Binary Search, Part 6: How On Earth Do You Test It?

See the original posting on Dr Dobbs

We will reduce a substantial part of our problem to calling these two functions repeatedly with suitably chosen test cases and verifying that they return the same results.