Emanuela Gadelha Cartaxo

Tem trabalhado com teste de software desde 2004 quando concluiu sua graduação em Ciência da Computação pela Universidade Federal de Campina Grande. Seu foco é em teste baseado em modelos (MBT), sub-área em que fez seu mestrado e doutorado. No mestrado, foi desenvolvida uma ferramenta - LTS-BT - para geração de casos de testes e seleção baseada em propósito de testes. No doutorado, foram propostas estratégias para seleção e redução de conjunto de teste baseado em funções de similaridade no contexto de MBT. Durante o doutorado, Emanuela Cartaxo passou 8 meses validando os resultados em Pisa (Itália), no grupo de Engenharia de Software do ISTI/CNR, e esteve sempre em contato com empresa (Motorola) para validar os resultados.

bachelor's at Ciência da Computação from UNIVERSIDADE FEDERAL DE CAMPINA GRANDE (2004), master's at Ciência da Computação from Universidade Federal de Campina Grande (2006) and doctorate at Computer Science from Universidade Federal de Campina Grande (2011). Has experience in Computer Science, focusing on Computer Science, acting on the following subjects: teste funcional, formal testing, similarity, mobile phone applications and regression.