Vaadin - Making it Bullet Proof - Did anyone Randoop

Hello:
How reliable is the vaadin?
To answer that : Did anyone run Randoop on Vaadin and test it and see if Randoop is seeing any errors in the source code of Vaadin ?

See Randoop at http://code.google.com/p/randoop/

Randoop is an automatic unit test generator for Java. It automatically creates unit tests for your classes, in JUnit format.

* Randoop generates unit tests using feedback-directed random test generation. In a nutshell, this technique randomly, but smartly, generates sequences of methods and constructor invocations for the classes under test, and uses the sequences to create tests. Randoop executes the sequences it creates, using the results of the execution to create assertions that capture the behavior or your program and that catch bugs.