
- RIUMA Principal
- Listar por autor
Listar por autor "Ferrer-Urbano, Francisco Javier"
Mostrando ítems 1-20 de 22
-
A parallel evolutionary algorithm for prioritized pairwise testing of software product lines
Lopez-Herrejon, Roberto E.; Ferrer-Urbano, Francisco Javier; Chicano, Francisco
; Haslinger, Evelyn Nicole; Eyed, Alexander; Alba-Torres, Enrique
[et al.] (2014-10-07)
Software Product Lines (SPLs) are families of related software systems, which provide different feature combinations. Different SPL testing approaches have been proposed. However, despite the extensive and successful use ... -
Aplicando programación lineal entera a la búsqueda de conjuntos de productos de prueba priorizados para líneas de productos software
Ferrer-Urbano, Francisco Javier; Chicano, Francisco
; Lopez-Herrejon, Roberto E.; Alba-Torres, Enrique
(2016-09-19)
Las líneas de productos software son familias de productos que están íntimamente relacionados entre sí, normalmente formados por combinaciones de un conjunto de características software. Generalmente no es factible testar ... -
Automatizing Software Cognitive Complexity Reduction
Saborido Infantes, Rubén; Ferrer-Urbano, Francisco Javier; Chicano, Francisco
; Alba-Torres, Enrique
(IEEE Access, 2022-01-20)
We model the cognitive complexity reduction of a method as an optimization problem where the search space contains all sequences of Extract Method refactoring opportunities. We then propose a novel approach that searches ... -
Buenas prácticas aplicadas a la adquisición de competencias diagnósticas clínicas en el ámbito del lenguaje
Calleja-Reina, Marina; Luque-Liñán, María Luisa
; Rodriguez-Santos, Jose Miguel
; Ferrer-Urbano, Francisco Javier
; León Carrión, José (2019-10-31)
La herramienta denominada LATS (Language Assessment Training System) pretende capacitar a los discentes de los grados de Logopedia y de Psicología para el diagnóstico clínico en el área del lenguaje y de la comunicación ... -
CMSA para el problema de la generación de casos de prueba priorizados en líneas de productos software
En las líneas de producto software puede ser difícil o incluso imposible probar todos los productos de la familia debido al gran número de combinaciones de características que puede existir. Esto conlleva la necesidad de ... -
Comparative analysis of classical multi-objective evolutionary algorithms and seeding strategies for pairwise testing of Software Product Lines
Lopez-Herrejon, Roberto E.; Ferrer-Urbano, Francisco Javier; Chicano, Francisco
; Egyed, Alexander; Alba-Torres, Enrique
(2014-10-06)
Software Product Lines (SPLs) are families of related software products, each with its own set of feature combinations. Their commonly large number of products poses a unique set of challenges for software testing as it ... -
Elementary Landscape Decomposition of the Test Suite Minimization Problem
Landscape theory provides a formal framework in which combinatorial optimization problems can be theoretically characterized as a sum of a special kind of landscape called elementary landscape. The decomposition of the ... -
Entrenamiento en identificación de perfiles comunicativos para la intervención logopédica mediante la herramienta LATS
Rodriguez-Santos, Jose Miguel; Ferrer-Urbano, Francisco Javier
(2019-04-05)
Se presenta una herramienta informática para el entrenamiento de los estudiantes en competencias evaluativas y diagnósticas -
Evolutionary algorithm for prioritized pairwise test data generation
Ferrer-Urbano, Francisco Javier; Kruse, Peter M.; Chicano, Francisco
; Alba-Torres, Enrique
(2014-10-07)
Combinatorial Interaction Testing (CIT) is a technique used to discover faults caused by parameter interactions in highly configurable systems. These systems tend to be large and exhaustive testing is generally impractical. ... -
Evolutionary algorithms for the multi-objective test data generation problem
Automatic test data generation is a very popular domain in the field of search-based software engineering. Traditionally, the main goal has been to maximize coverage. However, other objectives can be defined, such as the ... -
Generación de secuencias de pruebas funcionales con algoritmos bio-inspirados
Ferrer-Urbano, Francisco Javier; Kruse, Peter M.; Chicano, Francisco
; Alba-Torres, Enrique
(2015-02-10)
La generación de secuencias de pruebas dinámicas desde una especificación formal complementa los métodos tradicionales de pruebas para encontrar errores en el código fuente. En este artículo extendemos un enfoque combinatorio ... -
Herramienta para cuantificar el rendimiento de futbolistas
Díaz Martín, José Luis (2021-06)Tradicionalmente el rendimiento de un jugador se ha medido por parámetros muy básicos como son los goles marcados, en el caso de los delanteros, o de paradas realizadas en el caso de porteros. Estos indicadores tan básicos ... -
Hybrid Algorithms Based on Integer Programming for the Search of Prioritized Test Data in Software Product Lines
In Software Product Lines (SPLs) it is not possible, in general, to test all products of the family. The number of products denoted by a SPL is very high due to the combinatorial explosion of features. For this reason, ... -
Innovation in teaching for training in clinical reasoning of students of Speech and Language Therapy Degree
Calleja-Reina, Marina; Luque-Liñán, María Luisa
; Rodriguez-Santos, Jose Miguel
; Ferrer-Urbano, Francisco Javier
; León Carrión, José (2020-07-16)
A challenge in higher education for the Speech and Language Therapy Degree is the training in clinical reasoning skills. Speech and Language Therapy students' competencies are progressively developed by transferring and ... -
ITSME
Lima Florido, Francisco Javier (2017-03-23)Uno de los principales objetivos de Internet hoy día es el de establecer un contacto entre personas que se encuentran muy lejos unas de otras. En este Trabajo de Fin de Grado (TFG) contempla otro aspecto que también es ... -
Measuring the Quality of Machine Learning and Optimization Frameworks
Software frameworks are daily and extensively used in research, both for fundamental studies and applications. Researchers usually trust in the quality of these frameworks without any evidence that they are correctly build, ... -
Multi-objective Optimal Test Suite Computation for Software Product Line Pairwise Testing
Lopez-Herrejon, Roberto E.; Chicano, Francisco; Ferrer-Urbano, Francisco Javier
; Egyed, Alexander; Alba-Torres, Enrique
(2014-10-06)
Software Product Lines (SPLs) are families of related software products, which usually provide a large number of feature combinations, a fact that poses a unique set of challenges for software testing. Recently, many SPL ... -
Optimization Techniques for Automated Software Test Data Generation
Ferrer-Urbano, Francisco Javier(Servicio de Publicaciones y Divulgación Científica, 2016)
Esta tesis propone una variedad de contribuciones al campo de pruebas evolutivas. Hemos abarcados un amplio rango de aspectos relativos a las pruebas de programas: código fuente procedimental y orientado a objetos, paradigmas ... -
Search based algorithms for test sequence generation in functional testing
Ferrer-Urbano, Francisco Javier; Kruse, Peter M.; Chicano, Francisco
; Alba-Torres, Enrique
(2014-10-03)
The generation of dynamic test sequences from a formal specification, complementing traditional testing methods in order to find errors in the source code. Objective In this paper we extend one specific combinatorial ... -
Seguimiento geográfico diario automatizado del usuario
Bandera García, David (2017-03-23)El análisis de nuestra actividad diaria puede ser una fuente de información muy valiosa para conocer características de nuestros hábitos cotidianos que pueden pasar desapercibidas. En el presente Trabajo Fin de Grado se ...