A visual testing language