Describir: Búsqueda inteligente de contraejemplos para la inferencia de lenguajes