* Key algorithms. Some examples can be found here and here. More information can be found in Panitee's thesis and in Olfa's thesis.
** Sr is the set of SIPs wrt the TUT generated by Test Suite Generation that are not covered by the reduced test suite.