Current testing efforts require a lot of manual work.
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.