I'm not sure if the QuickCheck people have explored these ideas, perhaps they'll chime in.