>Sounds a lot like fuzzing, which is a really good way to find really esoteric bugs against a spec! QuickCheck style testing is maybe also worth a mention here

>Sounds a lot like fuzzing, which is a really good way to find really esoteric bugs against a spec! QuickCheck style testing is maybe also worth a mention here. Instead of using any possible inputs, like in fuzzing, you restrict yourself to legal inputs, like the keywords here, to get maybe less random crashes, but more likely to find useful corner cases because of the restriction on the search space.