This page has moved to https://drmaciver.com/notebook/2018/12/test-case-reduction-as-graph-search/.