I was wondering if concolic execution [1] isn't more popular for this type of thing due to the difficulty in setting up the tools or relative newness compared to randomly generating inputs?

1. http://en.wikipedia.org/wiki/Concolic_testing