Análise aprofundada das estruturas do ASAM OpenSCENARIO 2, espaços de parâmetros por restrições e testes metamórficos automatizados.
Relações metamórficas detectam inconsistências no planejamento ao espelhar cenários, sem a necessidade de oráculos de teste manuais.