Comment by marshray

The Haskell folks have developed some combinators for automatic test case generation that might fit well with this project.

QuickCheck https://en.wikipedia.org/wiki/QuickCheck