Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES    

Package korat.testing

Interface Summary
IKoratSearchStrategy  
ITestCaseListener Client that should handle test structures
ITester Interface for a class that should communicate with the debugger
 

Overview   Package  Class  Use  Tree  Deprecated  Index  Help 
 PREV PACKAGE   NEXT PACKAGE FRAMES    NO FRAMES