Análisis exhaustivo de la sintaxis ASAM OpenSCENARIO 2, espacios de parámetros dirigidos por restricciones y pruebas metamórficas.
Las relaciones metamórficas detectan inconsistencias al espejar escenarios sin necesidad de oráculos de prueba manuales.