Property-based testing for the Specify framework