https://github.com/emil-e/rapidcheck has a decent automated testing suite which should be added to the testing apparatus.