Skip navigation
Home
Browse
Communities
& Collections
Pesquisar Itens por:
Issue Date
Author
Title
Subject
Documentos de Interesse
Termo de Autorizacao para Publicacao Eletronica
Termo de Deposito Embargado - Teses e Dissertacoes
Termo de Deposito Embargado - TCCs/Relatorio de Estagio
Rotulo do DVD
Capa do DVD
Resolucao 01/2017 - Criacao da BDTD da UFCG
Resolucao 02/2017 - Deposito de Teses e Dissertacoes
Fale Conosco
bdtd@ufcg.edu.br
Help
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Biblioteca Digital de Teses e Dissertações da UFCG
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
Search
Search:
All of DSpace
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
Doutorado em Ciência da Computação.
Mestrado em Ciência da Computação.
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-10 of 11 (Search time: 0.003 seconds).
previous
1
2
next
Item hits:
Issue Date
Title
Author(s)
31-Aug-2017
On the influence of test adequacy criteria on test suite reduction for model-based testing of real-time systems.
MORAES, Alan Kelon Oliveira de.
26-Jul-2010
Testes de design: uma abordagem baseada em testes para verificação automática de conformidade estrutural entre implementação e regras de design.
MONTEIRO, João Arthur Brunet.
30-Apr-2010
Automação da técnica de inspeção guiada para conformidade entre requisitos e diagramas UML.
ROCHA, Anne Caroline Oliveira.
6-Dec-2002
Usando replicação ativa para prover tolerância a falhas de forma transparente a uma implementação da plataforma J2EE.
COSTA, André Andrade.
31-May-2010
Uma abordagem baseada em testes automáticos de software para diagnóstico de faltas em grades computacionais.
DUARTE, Alexandre Nóbrega.
20-Mar-2015
Similarity-based test suite reduction in the context of model-based testing.
COUTINHO, Ana Emília Victor Barbosa .
15-Mar-2013
Uma técnica para verificar não conformidades em programas especificados com contratos.
OLIVEIRA, Catuxe Varjão de Santana.
31-Aug-2010
Geração automática de testes com objetos mock baseados em interações.
SOUTO, Sabrina de Figueirêdo.
26-May-2006
Geração de objetivos de teste de sistemas reativos baseada na técnica de verificação de modelos CTL.
SILVA, Daniel Aguiar da.
8-Aug-2022
Agile Eteasy: um método para aplicação de testes exploratórios em contextos ágeis.
COUTINHO, Jarbele Cássia da Silva.
Discover
Author
1
COSTA, André Andrade.
1
COUTINHO, Ana Emília Victor Barbo...
1
COUTINHO, Jarbele Cássia da Silva.
1
DUARTE, Alexandre Nóbrega.
1
MONTEIRO, João Arthur Brunet.
1
MORAES, Alan Kelon Oliveira de.
1
MUNIZ, Raphael de Carvalho.
1
OLIVEIRA, Catuxe Varjão de Santana.
1
ROCHA, Anne Caroline Oliveira.
1
SILVA, Daniel Aguiar da.
.
next >
Subject
7
Software Testing
6
Ciência da Computação.
4
Ciência da Computação
3
Engenharia de Software
2
Teste Baseado em Modelos
1
Abordagem Baseada em Testes - Com...
1
Action Semantics
1
Adequação de Testes - Critérios
1
Agile development
1
Agile eteasy
.
next >
Date issued
2
2020 - 2022
7
2010 - 2019
2
2002 - 2009