Repositorio Institucional de la Universidad de Oviedo

Mostrando ítems 1-17 de 17

Applying tabu and scatter search to automated software test case generation

Díaz Fernández, María Eugenia; Blanco Aguirre, Raquel; Tuya González, Pablo Javier (2005-08)
Automated software testing using a metaheuristic technique based on tabu search

Díaz Fernández, María Eugenia; Tuya González, Pablo Javier; Blanco Aguirre, Raquel (2003-10)
Automated software testing with metaheuristic techniques

Díaz Fernández, María Eugenia; Blanco Aguirre, Raquel; Tuya González, Pablo Javier (ERCIM, 2004)
An automated test data generation tool using tabu search

Díaz Fernández, María Eugenia; Tuya González, Pablo Javier; Blanco Aguirre, Raquel (2003-09)
Comparación de técnicas metaheurísticas para la generación automática de casos de prueba que obtengan una cobertura de software

Díaz Fernández, María Eugenia; Blanco Aguirre, Raquel; Tuya González, Pablo Javier (2002)
Computation of influence functions for automatic mining subsidence prediction

Díaz Fernández, María Eugenia; Álvarez Fernández, Martina Inmaculada; Álvarez Vigil, Arturo Ernesto (2010)
A computational algorithm for rock cutting optimisation from primary blocks

Fernández de Arriba, Marta; Díaz Fernández, María Eugenia; González Nicieza, Celestino; Álvarez Fernández, Martina Inmaculada; Álvarez Vigil, Arturo Ernesto (2013)
Computational determination of inner stresses in rock masses

Díaz Fernández, María Eugenia; González Nicieza, Celestino; Álvarez Fernández, Martina Inmaculada; Álvarez Vigil, Arturo Ernesto; Argüelles Amado, Antonio (2010)
Generación automática de casos de prueba mediante búsqueda dispersa

Blanco Aguirre, Raquel; Díaz Fernández, María Eugenia; Tuya González, Pablo Javier (ATI, 2006)
Generación automática de pruebas estructurales de software mediante búsqueda tabú

Díaz Fernández, María Eugenia (2004)
A modular tool for automated coverage in software testing

Díaz Fernández, María Eugenia; Tuya González, Pablo Javier; Blanco Aguirre, Raquel (IEEE, 2003-09)
Pruebas automáticas de cobertura de software mediante una herramienta basada en Búsqueda Tabú

Blanco Aguirre, Raquel; Tuya González, Pablo Javier; Díaz Fernández, María Eugenia (2003-11)
A review of automatic software testing generation techniques

Tuya González, Pablo Javier; Díaz Fernández, María Eugenia; Blanco Aguirre, Raquel (2002-12)
A scatter search approach for automated branch coverage in software testing

Blanco Aguirre, Raquel; Tuya González, Pablo Javier; Díaz Fernández, María Eugenia; Díaz Fernández, Belarmino Adenso (CRL, 2007)
Specification of the context of use for the development of web-based applications

Fernández de Arriba, Marta; Díaz Fernández, María Eugenia; Rodríguez Pérez, Jesús (2008)
A tabu search algorithm for structural software testing

Díaz Fernández, María Eugenia; Tuya González, Pablo Javier; Blanco Aguirre, Raquel; Dolado Cosín, José Javier (Elsevier, 2008)
Tabu search for automated loop coverage in software testing

Díaz Fernández, María Eugenia; Blanco Aguirre, Raquel; Tuya González, Pablo Javier (2006-05)