Test Selection and Coverage Based on CTM and Metric Spaces | IEEE Conference Publication | IEEE Xplore