[scott_s]

That's an excellent point - if you have a finite range, why not test all of it? - and I know software testing researchers who look into just that. The difficulty to keep in mind is that in a large code base, there are going to be many small pieces that have a different finite range.

[unignorant]

You might try something like CUTE:

http://osl.cs.uiuc.edu/~ksen/cute/