 In this scenario, the user provides EiffelStudio AutoTest with the classes for which tests should be generated and some additional information used to control the test generation.The tool then begins calling routines in the target classes using randomized argument values.For every unique postcondition or class invariant violation, EiffelStudio AutoTest produces a single new test reproducing the failing call.