Hot: automatedsoftwaretesting