Testing is used to assess the correctness of a program by running the program against a set of test data. The main problem in testing is that only a tiny fraction of the possible inputs of a program can be used to test it. Test selection techniques choose the test cases using models of the program and the bug distribution. Many different test selection techniques have been proposed. Each test s...