Updated White-Box Testing