Resumo
No contexto de desenvolvimento de software, as atividades de validação, verificação e, em particular, de teste, têm recebido muita atenção por parte de desenvolvedores e, em consequência, de pesquisadores que procuram definir técnicas e ferramentas que permitam que tais atividades sejam executadas de maneira sistemática, com alta qualidade e custo reduzido.Neste cenário, a automatização d…