That doesn't need to be solved. Continuing the stream of inputs holds no meaning once you've tested every possible permutation (branch coverage) beyond checkin

That doesn't need to be solved. Continuing the stream of inputs holds no meaning once you've tested every possible permutation (branch coverage) beyond checking for memory leaks. Every software has a finite amount of states it can hold, most developers just erroneously expect some states to be unlikely or impossible to reach.