Testing ARS Machines