This page has moved to https://drmaciver.com/notebook/2021/01/some-theory-of-test-case-reduction/.