JUnit test runner and plugins for running JUnit tests with pseudo-randomness
