Test Case Prioritization Based on Information Retrieval Concepts | Synapse