Describir: Automatic testing: system and applications