“…Integrar esta abordagem com o trabalho proposto em Neves (2015). Neste caso, a ferramenta existente, a PATeCa, funciona com base em dados de teste provenientes de uma execução anterior, abordagem um pouco diferente da proposta nesta tese, cujos dados de teste são provenientes do simulador.…”