- RIUMA Principal
- Investigación
- Lenguajes y Ciencias de la Computación - (LCC)
- LCC - Contribuciones a congresos científicos
- Listar LCC - Contribuciones a congresos científicos por autor
Listar LCC - Contribuciones a congresos científicos por autor "Alba-Torres, Enrique"
Mostrando ítems 1-20 de 41
-
A parallel evolutionary algorithm for prioritized pairwise testing of software product lines
López-Herrejón, Roberto E.; Ferrer-Urbano, Francisco Javier; Chicano-García, José-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 ... -
Un Algoritmo Evolutivo para la Reducción de Tiempos de Viaje y Emisiones Utilizando Paneles LED
Stolfi, Daniel H.; Alba-Torres, Enrique (2015-02-09)En este trabajo proponemos la arquitectura Yellow Swarm dedicada a la reducción de los tiempos de viaje del tráfico rodado mediante la utilización de una serie de paneles LED con el fin de sugerir diferentes cambios de ... -
An Evolutionary Algorithm to Generate Real Urban Traffic Flows
Stolfi, Daniel H.; Alba-Torres, Enrique (Springer International Publishing, 2015)In this article we present a strategy based on an evolutionary algorithm to calculate the real vehicle ows in cities according to data from sensors placed in the streets. We have worked with a map imported from OpenStreetMap ... -
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-García, José-Francisco; López-Herrejón, 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 ... -
Comparative analysis of classical multi-objective evolutionary algorithms and seeding strategies for pairwise testing of Software Product Lines
López-Herrejón, Roberto E.; Ferrer-Urbano, Francisco Javier; Chicano-García, José-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 ... -
Comparing Deep Recurrent Networks Based on the MAE Random Sampling, a First Approach
Camero Unzueta, Andres; Toutouh-el-Alamin, Jamal; Alba-Torres, Enrique (2018-11-26)Recurrent neural networks have demonstrated to be good at tackling prediction problems, however due to their high sensitivity to hyper-parameter configuration, finding an appropriate network is a tough task. Automatic ... -
Comparing metaheuristic algorithms for error detection in Java programs
Chicano-García, José-Francisco; Ferreira, Marco; Alba-Torres, Enrique (2015-09-07)Model checking is a fully automatic technique for checking concurrent software properties in which the states of a concurrent system are explored in an explicit or implicit way. The main drawback of this technique is the ... -
Competición CAEPIA-App: senseUMA
Toutouh-el-Alamin, Jamal; Alba-Torres, Enrique (2018-12-10)El Campus de Teatinos de la Universidad de Málaga cubre un área considerable dentro de la cuidad de Málaga (aproximadamente 2 kilómetros 2 ). Por dicho campus cada dı́a transitan miles de personas pertenecientes a la ... -
Computing New Optimized Routes for GPS Navigators Using Evolutionary Algorithms
Stolfi, Daniel H.; Alba-Torres, Enrique (ACM, 2017-07)GPS navigators are now present in most vehicles and smartphones. The usual goal of these navigators is to take the user in less time or distance to a destination. However, the global use of navigators in a given city could ... -
Comunicación eficiente entre vehículos aplicando un algoritmo multi-objetivo paralelo
Toutouh-el-Alamin, Jamal; Alba-Torres, Enrique (2015-02-17)El encaminamiento de datos en redes vehiculares presenta un desafío debido a los frecuentes e inesperados cambios de topología. En este estudio presentamos un algoritmo de optimización multiobjetivo paralelo para tratar ... -
Dealing with inheritance in OO evolutionary testing.
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural languages. All this work can be used with small ... -
Descomposición en landscapes elementales del problema de diseño de redes de radio con aplicaciones
Chicano-García, José-Francisco; Arito, Franco; Alba-Torres, Enrique (2015-02-10)En este trabajo se presenta la descomposición en landscapes elementales de un problema de optimización combinatoria: el problema de Diseño de Redes de Radio. La teoría de landscapes provee un marco formal en el cual un ... -
Dos estrategias de búsqueda anytime basadas en programación lineal entera para resolver el problema de selección de requisitos
Chicano-García, José-Francisco; Domínguez, Miguel A.; Del Águila, Isabel María; Del Sagrado, José; Alba-Torres, Enrique (2016-09-19)El problema de selección de requisitos (o Next Release Problem, NRP) consiste en seleccionar el subconjunto de requisitos que se va a desarrollar en la siguiente versión de una aplicación software. Esta selección se debe ... -
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 ... -
Enabling Low Cost Smart Road Traffic Sensing
Toutouh-el-Alamin, Jamal; Arellano-Verdejo, Javier; Alba-Torres, Enrique (Universitat Pompeu Fabra, 2017)Accurate traffic monitoring is a key aspect to develop Smart Mobility services. A road traffic monitoring system based on a network of sensors capturing together information from wireless interfaces of the devices inside ... -
Evolutionary algorithm for prioritized pairwise test data generation
Ferrer-Urbano, Francisco Javier; Kruse, Peter M.; Chicano-García, José-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. ... -
Exact computation of the expectation curves for uniform crossover
Uniform crossover is a popular operator used in genetic algorithms to combine two tentative solutions of a problem represented as binary strings. We use the Walsh decomposition of pseudo-Boolean functions and properties ... -
Exact computation of the expectation curves of the bit-flip mutation using landscapes theory
Chicano-García, José-Francisco; Alba-Torres, Enrique (2015-09-07)Bit-flip mutation is a common operation when a genetic algorithm is applied to solve a problem with binary representation. We use in this paper some results of landscapes theory and Krawtchouk polynomials to exactly compute ... -
Exact Computation of the Fitness-Distance Correlation for Pseudoboolean Functions with One Global Optimum
Chicano-García, José-Francisco; Alba-Torres, Enrique (2014-10-06)Landscape theory provides a formal framework in which combinatorial optimization problems can be theoretically characterized as a sum of a special kind of landscapes called elementary landscapes. The decomposition of the ... -
Finding Best Compiler Options for Critical Software Using Parallel Algorithms
Alba-Torres, Enrique; Luque-Polo, Gabriel Jesús (2018-11-21)The efficiency of a software piece is a key factor for many systems. Real-time programs, critical software, device drivers, kernel OS functions and many other software pieces which are executed thousands or even millions ...