In industrial practice, model inference, test sequence generation, as well as test data selection and
prioritization are mainly performed manually.
Furthermore, the prediction of expected values to determine whether a test case has been passed or failed
(i.e., oracle definition), test case analysis, and test case pre-selection are still manual works. Therefore, testing
has to be done by large teams of testers.