área de pesquisa
- ''TestCheck Uma Abordagem Baseada em Checklist para Inspecionar Artefatos de Teste de Software''
- Abordagem de Análise do Tempo de Resposta para Teste de Desempenho em Aplicações Web
- Adilson Luiz Bonifácio
- Adriano Bezerra
- Alan Kelon Oliveira de Moraes
- Ana Claudia Monte de Andrade
- Ana Eliza Pedroso da Silva
- Ana Patrícia Fontes Magalhães Mascarenhas
- Andrea Rodrigues de Andrade
- Andressa Roberta Siqueira dos Santos
- André Abe Vicente
- André Assis Lôbo de Oliveira
- André Gobbi Farina
- André Luís Sena Nascimento
- Antônio Rogério Machado Ramos
- Análise Comparativa entre Técnicas de Priorização Geral de Casos de Teste no Contexto do Teste Baseado em Especificação
- Aplicando Gamificação no Ensino de Teste de Software
- Aplicação de Redes de Autômatos Estocásticos no Teste Estatístico de Software
- Apoio à automatização de oráculos de teste para programas com interfaces gráficas
- Arilo Claudio Dias Neto
- Automatização de Testes no sistema SAP
- Automatização do Teste de Aplicações Web apoiada por Hiper-heurística de Geração
- Avaliação de processos de Teste pelo Modelo de Maturidade TMMi em pequenas empresas
- Avaliação de Técnicas de Teste para Dispositivos Móveis por Meio de Experimentação.
- Avaliação do Custo e Eficácia do Critério Análise de Mutantes na Atividade de Teste de Programas
- Barbara Martinazzo Dalavechia
- Benedito Roberto Siqueira Rodrigues
- Berg Élisson Sampaio Cavalcante
- Bárbara Castanheira
- Caio Regis Caroca
- Camila Acácio de Paiva
- Camila Kozlowski Della Corte
- Camila Loiola Brito Maia
- Camila Maione
- Caracterização de Aplicações Móveis do Ponto de Vista do Teste de Software
- Carla Cassia de Jesus Almeida
- Chaina Santos Oliveira
- Critério de teste baseados em grafo de cena para aplicações de realidade virtual.
- Daniel Lima Barbosa
- Daniella de Oliveira Costa
- Definição de uma Estratégia para Elaboração de Processo de Teste com Base em um Estudo de Caso Real
- Denise Franzotti Togneri
- Dianne Dias Silva
- Diego Cardoso Borda Castro
- Diogo Lucena Gomes de Melo
- DIRAR -TSN: Direcionadores para uma arquitetura de referencia para o teste de software na nuvem
- Early Detection of Refactoring Faults
- Eloisa Cristina Silva Santos
- Emmanuel Savio Silva Freire
- Engenharia de Software
- Ensino e Aprendizado de Fundamentos de Programação: uma Abordagem baseada em Teste ca de Software
- Ensino Integrado de Fundamentos de Programação e de Teste de Software
- Eric Rommel Galvão Dantas
- Estudo Exploratório sobre Ferramentas de Geração Automática de Dados de Teste para Programas Java
- Estudo, definição e implementação de um sistema de recomendação para priorizar os avisos gerados por ferramentas de análise estática
- Etiene Anastacio Lamas
- Everton Leandro Galdino Alves
- Evolução da Ferramenta WEB GUITAR Para Geração Automática de Casos de Teste de Interface Para Aplicações Web
- Explorando gamificação no ensino de teste de software
- Fabrício da Costa Dias
- Fernando Raposo da Camara Silva
- FINDOS - UMA FERRAMENTA PARA IDENTIFICAÇÃO AUTOMÁTICA DE UNIDADES DE RASTREAMENTO
- Flávio Dusse
- Formal Verification Applied to Attitude Control Software of Unmanned Aerial Vehicles
- Francisco Carlos Monteiro Souza
- FTMES@r: Um Método de Localização de Defeitos Baseado em Estratégias de Execução de Mutantes
- Gabriela Carvalho Ribeiro
- GABRIELA MARTINS DE JESUS
- Geração Automatica de Casos de Testes A Partir de Casos de Uso
- Geração Automatizada de Drivers e Stubs de teste para JUnit a partir de especificações U2TP
- Geração Automática de Dados e Tratamento de Não Executabilidade no Teste Estrutural de Software
- Geração de conjuntos de teste para sistemas reativos, de tempo-real, e com transformações de contexto.
- Geração de dados de teste orientados à diversidade usando técnicas de busca
- Gerenciamento de Equipes de Teste de Software Distribuídas: Desafios e Boas Práticas
- Gilcimar Divino de Deus
- Giliane Redolfi
- Gustavo Henrique da Silva Alexandre
- Hugo Vares Vieira
- Identificação de Requisitos para Usabilidade de Software Assistivo
- Investigation of test case prioritization for model-based testing.
- Ismael de Moura Costa
- Italo de Oliveira Santos
- Ivaldir Honorio de Farias Junior
- Jailton Alkimin Louzada
- Jislane Silva Santos de Menezes
- Jogos educacionais: uma contribuição para o ensino de teste de software
- Jorge Luiz da Cruz
- José Guilherme Barbosa Boaventura
- João Batista de Souza Neto
- João Felipe Silva Ouriques
- Juliana da Costa Dias
- Juliana Gonçalves Omori Ferraz
- Juliana Marino Balera
- Kamilla Gomes Camargo
- Leandro César Prudente
- Leonardo de Souza Lima
- Lilian Marques Ohira
- Lizandra Bays dos Santos
- Lucas Florêncio de Brito
- Lucas Gonçalves Nadalete
- Luciano Bathaglinini Biasi
- Luciano Hayato Ukuma
- Lucilia Yoshie Araki
- Lucio Lopes Diniz
- Luis Alberto Vieira Dias
- Luís Eduardo de Souza Santos
- Makelli Araújo Jucá
- Margrit Reni Krug
- Mauricio Rêgo Mota da Rocha
- Melhoria do processo de teste para as micro e pequenas empresas brasileiras
- Michael Lopes Bastos
- Moderator factors of software security and performance verification
- MR.GC-PARFAIT: Um Modelo de Referência para a Atividade de Gerência de Configuração do PARFAIT.
- MTCONTEXT: APOIO A GERAÇÃO DE CASOS DE TESTE PARA APLICAÇÕES MÓVEIS SENSÍVEIS AO CONTEXTO
- Mutação de Transformações para Teste de Programas Spark
- Natália Flora de Lima
- Otávio Augusto Lazzarini Lemos
- Paulo Marcos Siqueira Bueno
- Pedro Henrique Mannato Coutinho
- Prof. Dr. Marcelo Morandini
- Proposta de Mestrado Geração automática de casos de teste a partir de requisitos funcionais
- Proposta de processo para testes exploratórios aderente ao TMMI nível 2
- Proposta de uma Metodologia de Análise de Intervalo de valor em desenvolvimento de software baseado em modelo
- Qualidade de conjuntos de teste de software de código aberto: Uma análise baseada em critérios estruturais.
- RAFAEL ALVES PAES DE OLIVEIRA
- Rafael Batista Rodrigues
- Raul Fernandes Herbster
- Reduzindo o Custo do Teste de Mutação com base em Informações de Análise Estática
- Renata Bezerra e Silva de Araújo
- Renata Maria de Souza Santos
- Ricson Jose de Santana
- Rodrigo Galvan
- Sabrina de Figueiredo Souto
- Sandra Bianca Henriques Geroldo
- SAP Test Express: Uma Nova Ferramenta de Testes para Aplicações SAP
- SCOUT: a multi-objective method to select components in designing unit testing
- Seleção de Técnicas de Teste Baseadas em Modelos
- Silvia Regina Assis Meireles Ascate
- Simone do Rocio Senger de Souza
- Singularity: Um Método para Geração Automática de Casos de Testes Unitários baseado em Contraexemplos de Verificador de Modelos para Aplicações em C++
- StateMutest : uma ferramenta de apoio ao teste baseado em modelos de estado estendidos
- Study and definition of project attributes for selection of testing techniques for concurrent software
- Suzane Mendes da Silva
- Tatiana Sousa Gonzaga
- Test oracles for systems with complex outputs: the case of TTS systems
- Teste baseado em modelos para serviços RESTful usando máquinas de estados de protocolos UML
- Teste de Software aplicado a Comunicação de Sistemas Embarcados Críticos
- Thais Cristina Sampaio Machado
- Thaynã Gonçalves Mota
- Thays Melo de Moraes
- Thiago Pereira de Brito Vieira
- Toni Amorim de Oliveira
- Tools for Discovery, Refinement and Generalization of Properties by Enumerative Testing
- Tulio Lima Basegio
- Um Conjunto de Regras para a Produção de Modelos de Design em Observância com as Normas DO-178C e DO-331
- Um Estudo de Caracterização e Avaliação de Critérios de Teste Estruturais entre os paradigmas procedimental e OO
- Um estudo empírico sobre geração de testes com BETA: avaliação e aperfeiçoamento
- Um Infra-estrutura Computacional para Apoiar o Planejamento e Controle de Teste de Software
- Uma abordagem de teste de integração para aplicações orientadas a objetos baseada na reutilização de teste de unidade.
- Uma Abordagem Dirigida por Modelos para a Geração Automática de Casos de Teste de Integração Usando Padrões de Teste.
- Uma Abordagem Integrada, Interativa e Multi-Objetiva para os Problemas de Seleção, Priorização e Alocação de Casos de Teste
- Uma contribuição para determinação de um conjunto essencial de operadores de mutação no teste de programas C.
- Uma Contribuição à Definição e Automatização da Atividade de Teste para Sistemas de Realidade Virtual
- Uma Estratégia para a Escrita de Modelos Voltados à Geração Automática de Casos de Teste
- Uma Estratégia para o Desenvolvimento de Componentes de Software Autotestáveis.
- Uma Estratégia para Testes de Regressão utilizando classes testáveis.
- Uma estrutura de maturidade operacional para a gestão de teste de software aplicada a um projeto de monitoramento hidrológico.
- UMA FERRAMENTA DE ANÁLISE AUTOMATIZADA DE TÉCNICAS DE SELEÇÃO DE TESTES DE REGRESSÃO BASEADA EM MINERAÇÃO DE REPOSITÓRIOS DE SOFTWARE
- Uma investigação da correspondência entre mutações e avisos relatados por ferramenta de análise estática
- Uma Metodologia de Teste de Acessibilidade para Usuários Cegos em Ambientes Web
- Uma técnica de priorização de casos de teste para múltiplas mudanças agregadas.
- Understanding factors and practices of software security and performance verification
- Utilizando Algoritmos de Busca Meta-Heurísticas para estabelecer sequencias de teste de integração para programas orientados a aspectos
- Validação de especificações de sistemas reativos: Definição e análise de critérios de teste.
- Vanessa Gindri Vieira
- Victor Vidigal Ribeiro
- Vinicius Vieira Pessoni
- Virginia Maria Araújo Viana
- Virgínia Carvalho Chalegre
- Visualização de Informações para Suporte ao Teste e Depuração de Programas
- VVTeste: ambiente de geração e gerenciamento de testes de software com apoio a processos de verificação e validação
- Willian Douglas Ferrari Mendonça
- ylson Micael de Souza
- Zady Castaneda Salazar