Publications
Búsqueda de errores en programas usando Java PathFinder y ACOhg.
VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados (MAEB'09).
(2009). On the Correlation between Static Measures and Code Coverage using Evolutionary Test Case Generation.
Taller de apoyo a la decisión en Ingeniería del Software.
(2009). Dealing with inheritance in OO evolutionary testing.
(Rothlauf, F., Ed.).Genetic and Evolutionary Computation Conference, {GECCO} 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009. 1665–1672.
(2009). Software Engineering and Development.
193-222.
(2009). Ant Colony Optimization for Testing Concurrent Systems: Analysis of Scalability.
Proceedings of the International Conference on Metaheuristics and Nature Inspired Computing (META'08).
(2008). Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models.
Inf. Process. Lett.. 106, 221–231.
(2008). Detecting protocol errors using particle swarm optimization with Java Pathfinder.
(Smari, W. W., Ed.).Proceedings of the High Performance Computing & Simulation Conference.
(2008). Finding deadlocks in large concurrent java programs using genetic algorithms.
(Keijzer, M., Ed.).the 10th annual conferenceProceedings of the 10th annual conference on Genetic and evolutionary computation - GECCO '08.
(2008). Finding liveness errors with ACO.
Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC} 2008, June 1-6, 2008, Hong Kong, China. 2997–3004.
(2008). Observations in using parallel and sequential evolutionary algorithms for automatic software testing.
Computers {&} {OR}. 35, 3161–3183.
(2008). Optimization Techniques for Solving Complex ProblemsOptimal Location of Antennas in Telecommunication Networks.
(Alba, E., Blum C., Isasi P., León C., & Gómez J. Antonio, Ed.). 287 - 307.
(2008). Optimization Techniques for Solving Complex ProblemsRemote Optimization Service.
(Alba, E., Blum C., Isasi P., Len C., & Gmez J. Antonio, Ed.). 443 - 456.
(2008). Searching for liveness property violations in concurrent systems with ACO.
(Ryan, C., & Keijzer M., Ed.).Genetic and Evolutionary Computation Conference, {GECCO} 2008, Proceedings, Atlanta, GA, USA, July 12-16, 2008. 1727–1734.
(2008). Testing Concurrent Software with Ants.
{ERCIM} News. 2008,
(2008). ACOhg: dealing with huge graphs.
(Lipson, H., Ed.).Genetic and Evolutionary Computation Conference, {GECCO} 2007, Proceedings, London, England, UK, July 7-11, 2007. 10–17.
(2007). Actas de las I Jornadas sobre Algoritmos Evolutivos y Bioinspirados.
(Alba, E., Chicano F., Herrera F., Luna F., Luque G., & Nebro A. J., Ed.).
(2007). Ant Colony Optimization for Model Checking.
(Moreno-Díaz, R., Pichler F., & Quesada-Arencibia A., Ed.).Computer Aided Systems Theory - {EUROCAST} 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers. 523–530.
(2007). Finding safety errors with ACO.
(Lipson, H., Ed.).Genetic and Evolutionary Computation Conference, {GECCO} 2007, Proceedings, London, England, UK, July 7-11, 2007. 1066–1073.
(2007).
(2007). Optimal antenna placement using a new multi-objective chc algorithm.
(Lipson, H., Ed.).Genetic and Evolutionary Computation Conference, {GECCO} 2007, Proceedings, London, England, UK, July 7-11, 2007. 876–883.
(2007). Software project management with GAs.
Inf. Sci.. 177, 2380–2401.
(2007). Una Versión de ACO para Problemas con Grafos de muy Gran Extensión.
Actas del Quinto Congreso Español de Metaheurísticas, Algoritmos Evolutivos y Bioinspirados, MAEB 2007.
(2007). Using metaheuristic algorithms remotely via ROS.
(Lipson, H., Ed.).Genetic and Evolutionary Computation Conference, {GECCO} 2007, Proceedings, London, England, UK, July 7-11, 2007. 1510.
(2007). Evolutionary Algorithms in Telecommunication.
Proceedings of the 13th IEEE Mediterranean Electrotechnical Conference (MELECON 2006).
(2006). Operations Research/Computer Science Interfaces SeriesMetaheuristic Procedures for Training Neutral NetworksGenetic Algorithms.
(Alba, E., & Martí R., Ed.).36, 109 - 137.
(2006).