 integration).As such, execution of this code also executes the contracts of the features and attributes executed.As such, EiffelStudio AutoTest is a means to exercising the "tests" or assumptions of the Design by Contract conditions.