Automated Test Case Generation as a Many-Objective Optimisation Problem with Dynamic Selection of the Targets | IEEE Journals & Magazine | IEEE Xplore