Empirical studies of test case prioritization in a JUnit testing environment | IEEE Conference Publication | IEEE Xplore