Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UML

Abstract

Agradeço em primeiro lugar à Deus, por sua imensa bondade e a Nossa Senhora Aparecida por ter ouvido minhas preces para conclusão dessa etapa da minha vida. Sem ajuda Divina nada seria possível.A toda minha família, em especial aos meus pais, Abimael e Amparo, que não mediram esforços para me fornecer a melhor formação e pelo apoio em todos os momentos da minha vida.À minha querida esposa Candice, pelo amor, compreensão e incentivo nos momentos mais difíceis desta jornada. Sua parceria foi fundamental para conclusão deste trabalho.Às minhas queridas filhas Nina e Alice, pelo carinho e por compreenderem desde pequenas que o estudo é uma das coisas mais importantes da vida.Ao meu orientador, professor Adenilso da Silva Simão, pela oportunidade, confiança e paciência na orientação deste trabalho. Seus conselhos e ensinamentos levarei por toda minha vida acadêmica. Muito obrigado por tudo! Ao meu coorientador e amigo, professor Thiago Carvalho de Sousa, pela disponibilidade e ajuda em todas as etapas da realização deste trabalho. Serei sempre grato a você por tudo que fez por mim durante esta jornada.À professora e colega da UESPI, Melissa Oda Souza, pela disponibilidade e ajuda na avaliação estatística do estudo experimental deste trabalho. À servidora do Centro Cultural da USP, Ângela Cristina Pregnolato Giampedro, pelas excelentes revisões da língua inglesa nos artigos submetidos aos periódicos e conferências.Ao primo Mateus e ao amigo Felipe, por sempre me receberem tão bem em São Carlos. A ajuda de vocês foi muito importante.A todos os colegas do DINTER UESPI/USP, pela amizade e incentivo durante a realização do doutorado, em especial,