title: Have you used Quickcheck in a real project
body: <p><a href="http://www.cs.chalmers.se/~rjmh/QuickCheck/" rel="noreferrer">Quickcheck</a> and its variants (even there is one in <a href="https://bitbucket.org/blob79/quickcheck" rel="noreferrer">Java</a>), seems to be interesting. However, apart from academic interest, is it really useful in a real application testing (Eg. a GUI application or Client/Server or even take StackOverflow itself)? Any experiences you had with similar test generators is appreciated.</p>