Today I discovered In praise of property-based testing. Sounds like a pretty great idea to me!