Prioritizing test cases with string distances
A methodology for controlling the size of a test suite