Buscar
Mostrando ítems 1-10 de 11339
Avaliação de geradores automáticos de dados de teste com ênfase no teste de mutação
(Universidade Federal de São CarlosUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCCCâmpus São Carlos, 2021-03-31)
Context: With the increasing presence of technology in daily life, it is crucial to guarantee the quality of software products, which can be reached by testing activity. However, testing is highly expensive, once it is ...
Diversity oriented test data generation using metaheuristic search techniques
(Elsevier Science IncNew YorkEUA, 2014)
Constraint based structural testing criteria
(Elsevier Science IncNew YorkEUA, 2006)
On How Characteristics that Hinder Test Data Generation Using Symbolic Execution Combine: An Analysis of the SF100 Benchmark
(Ieee, 2016-01-01)
Symbolic execution has made great strides in the last two decades. However, some characteristics of programs still pose significant challenges to test data generation techniques that use symbolic execution and constraint ...
On how characteristics that hinder test data generation using symbolic execution combine: An analysis of the SF100 benchmark
(2017-01-27)
Symbolic execution has made great strides in the last two decades. However, some characteristics of programs still pose significant challenges to test data generation techniques that use symbolic execution and constraint ...
Teste baseado em defeitos para ambientes de data warehouse
(Universidade Tecnológica Federal do ParanáCuritibaPrograma de Pós-Graduação em Computação Aplicada, 2015-08-13)
Organizations need to manage information for a continuous improvement of its business processes and aggregate knowledge that help in the decision-making process. This information often is provided by Data Warehouse ...