Empirical Studies of Test Case Prioritization in a JUnit Testing Environment | Synapse