While the compiled tests are good for execution, it would be nice to perform some static analysis as well. For example, annotation values, parameter types, return types, etc. can all be tested by introspecting the classes in a test and checking for expected values.