New Similarity Function for Test Case Prioritization in Model-Based Context | IEEE Conference Publication | IEEE Xplore