Text this: Heurísticas de búsqueda de prueba automática en la herramienta de análisis invariante de maude