Prioritization of Metamorphic Relations Based on Test Case Execution Properties | IEEE Conference Publication | IEEE Xplore