Package korat.testing.impl

Class Summary

AbstractTestCaseGenerator
StateSpaceExplorer	StateSpaceExplorer implements Korat search strategy
TestCradle	Given the Finitization, conducts tests for all regular candidates in domain state space
TestCradleII

Exception Summary

CannotFindClassUnderTest
CannotFindFinitizationException
CannotFindPredicateException
CannotInvokeFinitizationException
CannotInvokePredicateException
KoratMethodException
KoratTestException