ser - ¿Cuáles son las fortalezas y debilidades del asistente de pruebas Isabelle en comparación con