Mestrados/Doutorados Concluídos

26 de Fevereiro de 2012

clique

Pós Doc: Maria Cláudia F. P. Emer
Teste de Software Utilizando Análise de Instâncias de Dados Alternativas. 2009.

clique

Doutorado: Maria Cláudia F. P. Emer
Teste de Esquemas Através de Análise de Instâncias Alternativas. 2007.

clique

Wesley Klewerton Guez Assunção
Uma Abordagem para Integração e Teste de Módulos Baseada em Agrupamentos e Algoritmos de Otimização Multiobjetivos. 2012.
Lattes

clique

Edison Klafke Fillus
Uma abordagem baseada em técnicas de agrupamento para mineração de aspectos e identificação de pontos de corte. 2012.
Lattes

clique

João Carlos Garcia Árias
Teste de Aplicações Baseado em Análise de Instâncias de Dados Alternativas. 2011.

clique

Tiago Nobre
Uma abordagem baseada em algoritmos de otimização multiobjetivos para reduzir. 2011.
Lattes

clique

Rodrigo Galvan
Utilizando Algoritmos Meta-heurísticos para Estabelecer Sequências de Teste de Integração para Programas Orientados a Aspectos. 2010.

clique

Gustavo Henrique de Lima Pinto
Um Algoritmo Genético Multi-objetivo para Geração de Dados de Teste. 2010.

clique

Lucília Araki
Um Algoritmo Evolutivo de Geração de Dados de Teste para Satisfazer Critérios Baseados em Código Objeto Java. 2009.

clique

Alexandre Rafael Lenz
Utilizando Técnicas de Aprendizado de Máquina para Apoiar o Teste de Regressão. 2009.

clique

Luciano César Ascari
Teste Baseado em Defeitos de Classes Java Utilizando Aspectos e Mutação de Especificações OCL. 2009.

clique

Rafael Caiuta
Utilizando Meta-Aprendizado para Seleção de Modelos de Confiabilidade de Software. 2008.

clique

André Solino da Silva
Teste Baseado em Defetios para Web Services. 2008.

clique

Julio Teodoro da Silva
Um Algoritmo de Evolução de Gramáticas Livres de Contexto. 2007.

clique

Igor Fabiano Nazar
XTool: Uma Ferramenta de Teste de Esquemas para Estrutura de Dados. 2007.

clique

Paulo Nei Cruz Filho
Teste de Software Baseado em Perturbação de Dados Dirigida por Padrões. 2007.

clique

Lourival Francisco Junior
Explorando Teste Baseado em Pertubações no Contexto de Web Services. 2006.

clique

Ledyvânia Franzote
Utilizando Análise de Mutantes em Documentos XML Schema. 2006.

clique

Claudio Martins Rocha
Explorando o Relacionamento entre Metricas Baseadas em Caso de Uso e o Numero de Casos de Teste.

clique

Alexandre Hausen
ValiMPI: Uma Ferramenta de Teste Estrutural para Programas Paralelos em Ambientes de Passagem de Mensagem. 2005.

clique

Gustavo Alexandre de Souza
Utilizando Redes Neurais para Modelar a Confiabilidade de Software. 2004.

clique

Márcio Rodrigo Braz
Métricas de Software Baseadas em Caso de Uso e Teoria Fuzzy. 2004.

clique

Juliano R. Toaldo
Utilizando Análise de Mutantes para o Teste de Programas Prolog. 2003.

clique

Edenilson José Silva
PredTool: Uma Ferramenta para Apoiar o Teste Baseado em Predicados. 2003.

clique

Luciano Petinati Ferreira
TSDGen: Uma ferramenta de Geração de Dados de Teste Baseada em Algoritmos Genéticos. 2003.

clique

Maria Cláudia Figueiredo Pereira Emer
Seleção e Avaliação de Dados de Teste Baseadas em Programação Genética. 2002.

clique

Denio Duarte
Utilizando Técnicas de Programação Lógica Indutiva para Mineração de Banco de Dados Relacional. 2001.

clique

Leonardo Brodbeck Chaves
Uma Avaliação Empírica de Métricas para Programas Orientados a Objeto no Contexto de Teste de Software. 2001.

clique

Fernando Takashi Itakura
TOWABE: Uma Ferramenta para Avaliação de Usabilidade de Aplicações para Web. 2001.

clique

Lisiane Maes Volpi
Uma Estratégia de Teste de Software para Ambiente Cliente-Servidor. 2001.

clique

Inali Wisnierwski Soares
Análise de Mutantes e Critérios Restritos no Contexto de Teste de Software: Resultados de uma Avaliação Empírica. 2000.

clique

Luciane T. Agner
Manutenção de Visões Materializadas em Datawarehouse. 2000.

clique

Leticia Mara Peres
Estratégias de Geração de Dados de Teste: Proposição, Implementação e Validação. 1999.

 

Trabalhos de Conclusão de Curso de Graduação

28 de Agosto de 2010

clique

Fábio Alves Neves / Felipe Oliveira Bittencourt
Teste de Aplicações Web Baseado em Mutações de Máquinas de Estado. 2009.

clique

Yves Cooper Furusho
Utilizando Algoritmos de Aprendizado de Máquina para gera modelos Preditivos a partir de Métricas de Software. 2008.

clique

Guilherme A. Bill / Rodolpho M. Carmo
Desenvolvimento de Aplicaçãoes Web com UML: Um Estudo de Caso para uma Aplicação em Pizzarias. 2007.

clique

Paulo V. Caxeiro
Utilizando uma Abordagem Baseada em Defeitos para o Teste de Esquemas de Bases de Dados: Resultados de um Estudo com a Ferramenta XTool. 2007.

clique

Daniel Bitencourt / Rafael Kaminenko
Painel de Controle para Hospedagem de Sites na Internet. 2007.

clique

Fabrício Resende de Souza
Avaliação da Qualidade de um Software Industrial. 2004.

clique

Renato Suga
Análise de Mutantes e XML. 2004.

clique

Gustavo K. Poll / Paulo N. Cruz Filho
Padrões de Projeto. 2004.

clique

Ricardo N. Acras
Splinter: Uma Ferramenta de Programação Evolucionária. 2003.

clique

Leandro H. Nakamura / Marcos A. Carrero
Um módulo de Instrumentação de Programas para Auxiliar o Teste Baseado em Predicados. 2002.

clique

Euler F. Silva / Gethe G. Junior
Mogere: Módulo Gerador de Restrições para Automatizar o Teste Baseado em Predicados. 2002.

clique

Evandro N. Regolin / Elisa K. Tanaka
Desenvolvimento de Sistema de Matrícula On-Line. 2001.

clique

Alexandre H. de Maria / Marcela L.Otto / Misael A.Bortolaz
Utilização de Algoritmos Genéticos para Facilitar a Automação de Critérios de Teste. 2001.

clique

Marilda Gnatta Daluche / Nadia P. Kozievitch
Implementação de um Protótipo de Datawarehouse para o SAU5. 1999.

clique

Jupiara L. Jordani / Rosana P. Pierin / Silmara C. Teixeira
Ferramenta para Estimativa de Custo e Cronograma Baseado no Modelo COCOMO. 1998.

 

Iniciação Científica

28 de Agosto de 2010

clique

Ernani Willemberg Ribeiro
Geração de dados de teste utilizando algoritmos multiobjetivo. 2009.

clique

Talita Alcantara Demichelli
Um algorithmo evolutivo de geração de dados de teste. 2008.

clique

Aldo Monteiro do Nascimento
Avaliacão de Critérios de Teste Estrutural em Ambientes de Passagem de Mensagem. 2004.

clique

Augusto A. P. G. Torácio
Definição e Implementação de um Módulo de Suorte à Aplicação de Critérios de Teste em Ambientes de Passagem de Mensagens. 2004.

clique

Eric Pereira Brobouski
Defincão e Implementacão de um módulo de auxílio à manutencao de casos de teste. 2004.

clique

Ana Paula Costacurta
Auxílio à Documentação e Integração dos Módulos da Ferramenta ValiPVM. 2004.

clique

Ricardo N. Acras
Utilizando o Conceito de Evolução para Realizar o Teste de Especificações. 2003.

clique

Fernanda Li Minku
Utilizando Conceitos de Evolução para Realizar o Teste de Software. 2002.

clique

Leticia Mara Peres
Estudo de Estratégias para Geração de Dados de Teste. 1994.

clique

Roberval Machado Cristino
Estudo sobre a Lineridade de Predicados Encontrados em Caminhos Durante o Teste Estrutural de Programas. 1994.

clique

Marcelo Bernardes
Implementação de Rotinas para Apoiar a Geração de Dados de Teste. 1992.