Test Selection, Trace Distance and Heuristics