Master Dissertations
Diego Tavares Cavalcanti. Estudo do Uso de Vocabulários para Analisar o Impacto de Relatórios de Defeitos a Código-fonte. Master Dissertation, Computer Science. Federal University of Campina Grande, 2012.
Diego Rodrigues de Almeida. Critérios de Geração de Casos de Teste de Sistemas de Tempo Real. Master Dissertation, Computer Science. Federal University of Campina Grande, 2012.
Anderson Rodrigo Santos Bezerra Ledo. MetaTT - Uma Abordagem Baseada em Metamodelos para a Escrita de Transformações de Modelo para Texto. Master Dissertation, Computer Science. Federal University of Campina Grande, 2012.
Jemerson Figueiredo Damásio. Modelagem Estatística de Mudanças Estruturais para Simulação de Evolução de Software. Master Dissertation, Computer Science, Federal University of Campina Grande, 2011.
Everton Leandro Galdinho Alves. Usando MDA e MDT para Modelagem e Geração Automática de Arquiteturas de Teste para Sistemas de Tempo Real , Master Dissertation, Computer Science, Federal University of Campina Grande, 2011.
João Felipe Silva Ouriques. Análise Comparativa entre Técnicas de Priorização Geral de Casos de Teste no Contexto do Teste Baseado em Especificação, Master Dissertation, Computer Science, Federal University of Campina Grande, 2011.
Mariana Romão do Nascimento. Um Estudo sobre a Eficácia do Ensino à Distância de Programação para Alunos Iniciantes, Master Dissertation, Computer Science, Federal University of Campina Grande, 2011.
Andreza de Souza Vieira. Identificação de Diretrizes para a Construção de Meta-modelos na Infra-estrutura de MDA, Master Dissertation, Computer Science, Federal University of Campina Grande, 2010.
Anne Caroline Oliveira Rocha. Automação da Técnica de Inspeção Guiada para Conformidade entre Requisitos e Diagramas UML, Master Dissertation, Computer Science, Federal University of Campina Grande, 2010.
Camila de Luna Maciel. Uma Abordagem Dirigida por Modelos para a Geração Automática de Casos de Teste de Integração Usando Padrões de Teste, Master Dissertation, Computer Science, Federal University of Campina Grande, 2010.
Francisco Gomes de Oliveira Neto. Investigação e Avaliação Experimental de Técnicas de Re-teste Seletivo para Teste de Regressão baseado em Especificação, Master Dissertation, Computer Science, Federal University of Campina Grande, 2010.
Gustavo Araújo Soares. Uma Abordagem para Aumentar a Segurança em Refatoramentos de Programas, Master Dissertation, Computer Science, Federal University of Campina Grande, 2010.
João Arthur Brunet Monteiro. Testes de Design: Uma Abordagem Baseada em Testes para Verificação Automática de Conformidade Estrutural entre Implementação e Regras de Design, Master Dissertation, Computer Science, Federal University of Campina Grande, 2010.
Rodrigo Rocha Gomes e Souza. Modelos Computacionais Realistas para Dependências entre Entidades de Software, Master Dissertation, Computer Science, Federal University of Campina Grande, 2010.
Sabrina de Figueirêdo Souto. Geração Automática de Testes com Objetos Mock Baseados em Interações. Master Dissertation, Computer Science, Federal University of Campina Grande, 2010.
Stefani Silva Pires. Descoberta de Causa-raiz em Ocorrências de Sistemas Elétricos, Master Dissertation, Computer Science, Federal University of Campina Grande, 2010.
Makelli Araújo Jucá. Uma Estratégia para a Escrita de Cenários de Caso de Uso Voltados à Geração Automática de Casos de Teste, Master Dissertation, Computer Science, Federal University of Campina Grande, 2009.
Mirna Carelli Oliveira Maia. Técnica Híbrida de Análise de Impacto para Sistemas Orientados a Objetos. Master Dissertation, Computer Science, Federal University of Campina Grande, 2009.
Pablo Oliveira Antonino de Assis. Análise da Correlação entre Métricas de Evolução e Qualidade de Design de Software, Master Dissertation, Computer Science, Federal University of Campina Grande, 2009.
Waldemar Pires Ferreira Neto. Verificação de Artefatos de Diagramas de Classe UML através da Aplicação Testes de Design, Master Dissertation, Computer Science, Federal University of Campina Grande, 2009.
Amanda Saraiva Bezerra. Uma Técnica de Análise de Conformidade Comportamental para Sistemas Distribuídos, Master Dissertation, Computer Science, Federal University of Campina Grande, 2008.
Laísa Helena Oliveira do Nascimento. Abordagens para Avaliação Experimental de Teste Baseado em Modelos de Aplicações Reativas, Master Dissertation, Computer Science, Federal University of Campina Grande, 2008.
Lile Palma Hattori. Análise Probabilística de Impacto de Mudanças Baseada em Históricos de Mudanças do Software, Master Dissertation, Computer Science, Federal University of Campina Grande, 2008.
Ana Emília Victor Barbosa Coutinho. Detecção Automática de Violações de Propriedades de Sistemas Concorrentes em Tempo de Execução, Master Dissertation, Computer Science, Federal University of Campina Grande, 2007.
Paulo Eduardo e Silva Barbosa. Verificação Distribuída de Modelos: Investigando o Uso de Grades Computacionais, Master Dissertation, Computer Science, Federal University of Campina Grande, 2007.
Wilkerson de Lucena Andrade. Geração de Casos de Teste de Interação para Aplicações de Celulares, Master Dissertation, Computer Science, Federal University of Campina Grande, 2007.
Afrânio Mangueira Lima de Assis. Modelagem Executável de Sistemas Distribuídos em Java, Master Dissertation, Computer Science, Federal University of Campina Grande, 2006.
Daniel Aguiar da Silva. Geração de Objetivos de Teste para Sistemas Reativos Baseada na Técnica de Verificação de Modelos CTL, Master Dissertation, Computer Science, Federal University of Campina Grande, 2006.
Elthon Allex da S. Oliveira. Uma Técnica para Modelagem e Verificação de Programas Java Concorrentes Auxiliada por Anotações de Código, Master Dissertation, Computer Science, Federal University of Campina Grande, 2006.
Emanuela Gadelha Cartaxo. Geração de Casos de Teste Funcional para Aplicações de Celulares, Master Dissertation, Computer Science, Federal University of Campina Grande, 2006.
Rogério Dourado Silva Júnior. CASTOR: Uma Técnica de Verificação de Conformidade para Arquiteturas de Software Baseada em Componentes, Master Dissertation, Computer Science, Federal University of Campina Grande, 2006.
André Luiz Lima de Figueiredo. Geração Automática de Casos de Teste para Sistemas Baseados em Agentes Móveis, Master Dissertation, Computer Science, Federal University of Campina Grande, 2005.
Daniel Lima Barbosa. Um Método Automático de Teste Funcional para a Verificação de Componentes, Master Dissertation, Computer Science, Federal University of Campina Grande, 2005.
Fabrício Vale de Azevedo Guerra. Modelagem de Sistemas com Restrições Temporais em Redes de Petri Orientadas a Objetos, Master Dissertation, Computer Science, Federal University of Campina Grande, 2005.
Taciano de Morais Silva. Simulação Automática e Geração de Espaço de Estados de Modelos em Redes de Petri Orientadas a Objetos, Master Dissertation, Computer Science, Federal University of Campina Grande, 2005.
Cássio Leonardo Rodrigues. Verificação de Modelos em Redes de Petri Orientadas a Objetos, Master Dissertation, Computer Science, Federal University of Campina Grande, 2004.
Cidinha Costa Gouveia. Teste de Integração para Sistemas Baseados em Componentes, Master Dissertation, Computer Science, Federal University of Campina Grande, 2004.
Emerson Ferreira de Araújo Lima. Formalização a Análise de Padrões de Projeto para Agentes Móveis, Master Dissertation, Computer Science, Federal University of Campina Grande, 2004.
Carina Machado de Farias. Um Método de Teste Funcional para Verificação de Componentes, Master Dissertation, Computer Science, Federal University of Campina Grande, 2003.
José Amâncio Macedo Santos. Suporte à Análise e Verificação de Modelos RPOO. Master Dissertation, Computer Science, Federal University of Campina Grande, 2003.
Edna Dias Canedo. Estudo e Experimentação de uma Linguagem de Modelagem de Sistemas Baseada em Redes de Petri e Orientação a Objetos, Master Dissertation, Computer Science, Federal University of Campina Grande, 2002.
Fabiana Paulino Guedes. Um Modelo para o Desenvolvimento de Aplicações Baseadas em Agentes Móveis , Master Dissertation, Computer Science, Federal University of Campina Grande, 2002.
Adriano José Pinheiro Lemos. Reuso de Modelos em Redes de Petri Coloridas, Master Dissertation, Computer Science, Federal University of Campina Grande, 2001.