Actually it is the opposite: it is harder to test software. Software fuzzing is more difficult as function parameters can be (literally) infinitely more compli

Actually it is the opposite: it is harder to test software. Software fuzzing is more difficult as function parameters can be (literally) infinitely more complicated to define (e.g., variable length strings), whereas logic test vectors are 1's and 0's (a lot of them, but a finite number). I've yet to see a fuzzing library that could handle all possible combinations of State, even with judicious mutex support.