Indeed interesting. I wonder if there is a tool for generating input in a way that guarantees that all locations in the program are actually covered (in other words, that all reachable code has been reached).
Of course, this is no guarantee that the program actually works, but it would make me sleep better :)
Of course, this is no guarantee that the program actually works, but it would make me sleep better :)