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.