Statistics of Automated Test Case Generation as a Many-Objective Optimisation Problem with Dynamic Selection of the Targets