A program is specified by a state machine shown below. A) Using the approach based on the minimal set of independent paths, calculate the minimal number of such paths (explain) and specify a set of independent paths. Find a representative set of tests for the program. B) Choose another structural criterion for test selection. For this approach, give a minimal number of tests (justify) and find an exemplary set of test cases. C) Choose a functional (black box) criterion of test selection. For this approach, design an exemplary set of test cases