-gov.nasa.jpf.test.basic.HarnessTest
-gov.nasa.jpf.test.basic.ListenerTest
-gov.nasa.jpf.test.basic.MJITest
-gov.nasa.jpf.test.basic.TestJPFMainTest
-gov.nasa.jpf.test.basic.TestJPFNoMainTest
-gov.nasa.jpf.test.java.concurrent.CountDownLatchTest
-gov.nasa.jpf.test.java.concurrent.ExchangerTest
-gov.nasa.jpf.test.java.lang.ClassTest
-gov.nasa.jpf.test.java.lang.RuntimeTest
-gov.nasa.jpf.test.java.lang.SystemTest
-gov.nasa.jpf.test.java.net.URLClassLoaderTest
-gov.nasa.jpf.test.mc.basic.BreakTest
-gov.nasa.jpf.test.mc.basic.CGNotificationTest
-gov.nasa.jpf.test.mc.basic.CascadedCGTest
-gov.nasa.jpf.test.mc.basic.ExtendTransitionTest
-gov.nasa.jpf.test.mc.basic.FinalBreakTest
-gov.nasa.jpf.test.mc.basic.FinalFieldChoiceTest
-gov.nasa.jpf.test.mc.basic.LocalVarInfoTest
-gov.nasa.jpf.test.mc.basic.MethodListenerTest
-gov.nasa.jpf.test.mc.basic.NoJPFExecTest
-gov.nasa.jpf.test.mc.basic.NullTrackerTest
-gov.nasa.jpf.test.mc.basic.OOMEInjectorTest
-gov.nasa.jpf.test.mc.basic.SearchMultipleTest
-gov.nasa.jpf.test.mc.basic.SharedPropagationTest
-gov.nasa.jpf.test.mc.basic.SharedRefTest
-gov.nasa.jpf.test.mc.basic.StackDepthCheckerTest
-gov.nasa.jpf.test.mc.basic.StatelessTest
-gov.nasa.jpf.test.mc.basic.TraceTest
-gov.nasa.jpf.test.mc.basic.VerifyTest
-gov.nasa.jpf.test.mc.data.CrossingTest
-gov.nasa.jpf.test.mc.data.DataChoiceTest
-gov.nasa.jpf.test.mc.data.DynamicAbstractionTest
-gov.nasa.jpf.test.mc.data.EventGeneratorTest
-gov.nasa.jpf.test.mc.data.NumericValueCheckerTest
-gov.nasa.jpf.test.mc.data.PerturbatorTest
-gov.nasa.jpf.test.mc.data.RandomTest
-gov.nasa.jpf.test.mc.data.StopWatchFuzzerTest
-gov.nasa.jpf.test.mc.data.TypedObjectChoiceTest
-gov.nasa.jpf.test.mc.threads.AtomicTest
-gov.nasa.jpf.test.mc.threads.ClinitTest
-gov.nasa.jpf.test.mc.threads.DaemonTest
-gov.nasa.jpf.test.mc.threads.DeadlockTest
-gov.nasa.jpf.test.mc.threads.ExceptionalThreadChoiceTest
-gov.nasa.jpf.test.mc.threads.HORaceTest
-gov.nasa.jpf.test.mc.threads.MinimizePreemptionTest
-gov.nasa.jpf.test.mc.threads.MissedPathTest
-gov.nasa.jpf.test.mc.threads.NestedInitTest
-gov.nasa.jpf.test.mc.threads.OldClassicTest
-gov.nasa.jpf.test.mc.threads.RaceTest
-gov.nasa.jpf.test.vm.basic.AssertTest
-gov.nasa.jpf.test.vm.basic.CastTest
-gov.nasa.jpf.test.vm.basic.ExceptionHandlingTest
-gov.nasa.jpf.test.vm.basic.InitializeInterfaceClassObjectRefTest
-gov.nasa.jpf.test.vm.basic.OutOfMemoryErrorTest
-gov.nasa.jpf.test.vm.reflection.MethodTest
-gov.nasa.jpf.test.vm.threads.JoinTest
-gov.nasa.jpf.test.vm.threads.SuspendResumeTest
-gov.nasa.jpf.test.vm.threads.ThreadExceptionHandlerTest
-gov.nasa.jpf.test.vm.threads.ThreadStopTest
-gov.nasa.jpf.test.vm.threads.ThreadTest
-gov.nasa.jpf.vm.ClassLoaderInfoTest
-gov.nasa.jpf.vm.multiProcess.MethodTest
-gov.nasa.jpf.vm.multiProcess.NativePeerTest
-gov.nasa.jpf.vm.multiProcess.ThreadTest
-gov.nasa.jpf.vm.multiProcess.TypeSeparationTest
-java8.LambdaTest