Test Input Prioritization for Image Segmentation: an Empirical Study | AMiner