A random and coverage-based approach for fault localization prioritization | IEEE Conference Publication | IEEE Xplore