This is true, to the extent that the selection of input parameters to simulate provides coverage over the domain of all possible input parameters. At some point

This is true, to the extent that the selection of input parameters to simulate provides coverage over the domain of all possible input parameters. At some point you're back to testing the failure of imagination of the simulation/test creators.