 The user needs only supply the test code itself.Second, EiffelStudio AutoTest provides a method for creating a new test based on an application failure at runtime.This type of test is called "extracted".