Prioritization of test cases in MUMCUT test sets: An empirical study

Software developers often have to test a program with a large number of test cases to reveal faults in the program. Some of these test cases may detect faults, and some may not. This leads to an important question on how to arrange the test cases to be executed so that more faults can be detected earlier. With a higher rate of fault detection at the early stage of testing, software developers can then spend more time on fixing the faults. This paper studies several ways of prioritizing test cases in a MUMCUT test set, which guarantees to detect certain types of faults in a Boolean specification written in irredundant disjunctive normal form. Our results suggest a certain ordering that reveals more faults earlier in the testing phases.