Pruebas metamórficas con puerta de validez de dominio para sustitutos SciML
Una rúbrica de validez de dominio filtra las relaciones metamórficas candidatas asegurando que la tolerancia supere el límite numérico inferior y que se cumplan las precondiciones. El método transforma las relaciones válidas en activos de prueba ejecutables y sin oráculo, validados en múltiples tareas CFD y familias de EDP, distinguiendo violaciones del modelo de aplicaciones fuera del dominio.