Text this: Test case prioritization with Jaro-Winkler-Manhattan textual distance