Você usou o Quickcheck em um projeto real [fechado]
Verificação rápid e suas variantes (até existe uma emJav), parece ser interessante. No entanto, além do interesse acadêmico, é realmente útil em um teste real de aplicativo (por exemplo, um aplicativo GUI ou cliente / servidor ou até mesmo o próprio StackOverflow)? Todas as experiências que você teve com geradores de teste semelhantes são apreciada