Languages for Testers