Note that for a huge amount of software functionality, the amount of tests required to "exercise full functionality" is infinite, and very rarely can we mathematically prove that a finite set suffices. When code is multi-threaded, for instance, this tends to happen a lot.

Yes.

But I stand by adaption of the old sales technique "What does ____ mean to YOU? ... Oh, that won't be a problem."