The efficient use of logic-testing CAATTs such as ITF requires determining in ad-vance the input and process controls to be tested. A single audit procedure can be de-vised that performs many or all of the needed tests. For example, when testing payroll,