software testing; ART; Journal of Software