Los LLMs pueden sugerir metamorphic relations. Simplemente no pueden garantizarlas.
Los large language models son socios de lluvia de ideas decentes para descubrir test oracles, pero alucinan propiedades y omiten restricciones de dominio. Así es cómo usarlos sin desplegar pruebas falsas.
