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 13 (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.
30-Apr-2010
Automação da técnica de inspeção guiada para conformidade entre requisitos e diagramas UML.
ROCHA, Anne Caroline Oliveira.
31-Aug-2012
Infraestrutura para o desenvolvimento de aplicações pervasivas com suporte ao chaveamento automático de tecnologia de comunicação.
FARIAS, Arthur Lúcio Meneses.
30-Aug-2010
Aumentando a confiança nos resultados de testes de sistemas multi-threaded: evitando asserções antecipadas e tardias.
REBOUÇAS, Ayla Débora Dantas de Souza.
15-Mar-2013
Uma técnica para verificar não conformidades em programas especificados com contratos.
OLIVEIRA, Catuxe Varjão de Santana.
27-Feb-2003
Um método de teste funcional para verificação de componentes.
FARIAS, Carina Machado de.
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.
1-Jul-2009
Uma estratégia para escrita de cenários de caso de uso voltados à geração automática de casos de teste.
JUCÁ, Makelli Araújo.
13-Mar-2014
Uma abordagem para testar implementações de refatoramentos estruturais e comportamentais de programas C.
MENDES, Gustavo Wagner Diniz.
Discover
Author
1
COUTINHO, Jarbele Cássia da Silva.
1
FARIAS, Arthur Lúcio Meneses.
1
FARIAS, Carina Machado de.
1
FIGUEIREDO, André Luiz Lima de.
1
JUCÁ, Makelli Araújo.
1
MENDES, Gustavo Wagner Diniz.
1
MORAES, Alan Kelon Oliveira de.
1
MUNIZ, Raphael de Carvalho.
1
OLIVEIRA, Catuxe Varjão de Santana.
1
REBOUÇAS, Ayla Débora Dantas de S...
.
next >
Subject
9
Ciência da Computação.
7
Teste de Software
5
Teste de software
4
Ciência da Computação
4
Engenharia de software
2
Programas C
1
Abordagem Thread Control for Tests
1
Action Semantics
1
Adequação de Testes - Critérios
1
Agentes móveis
.
next >
Date issued
2
2020 - 2022
7
2010 - 2019
4
2003 - 2009