Uncertainty-wise Test Case Generation and Minimization for CyberPhysical Systems