LLMs Podem Sugerir Metamorphic Relations. Eles Simplesmente Não Podem Garanti-las.
Large language models são parceiros de brainstorming decentes para descobrir test oracles, mas eles alucinam propriedades e perdem restrições de domínio. Veja como usá-los sem entregar testes falsos.