Publicaciones
]
(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.
(2008). 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,
(2009). Actas del VI Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados.
(Alba, E., Chicano F., Luna F., & Luque G., Ed.).
(2009). Ant Colony Optimization in Model Checking.
Taller de apoyo a la decisión en Ingeniería del Software.
(2009). 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.
(2010). Correlation between static measures and code coverage in evolutionary test data generation.
International Journal of Software Engineering and its Applications. 4, 57-79.
(2010). Descomposición en landscapes elementales del problema de la suma de subconjunto.
VII Congreso Español sobre Metaheurísticas, Algoritmos evolutivos y Bioinspirados (MAEB 2010).
(2010). Elementary Landscape Decomposition of Combinatorial Optimization Problems.
Workshop on Evolutionary Algorithms - Challenges in Theory and Practice, INRIA (Bourdeaux).
(2010). Elementary Landscape Decomposition of Combinatorial Optimization Problems.
Seminar Theory of Evolutionary Algorithms (10361), Schloss Dagstuhl, Germany.
(2010). Elementary landscape decomposition of the quadratic assignment problem.
(Pelikan, M., & Branke J., Ed.).Genetic and Evolutionary Computation Conference, {GECCO} 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010. 1425–1432.
(2010). Elementary landscapes of frequency assignment problems.
(Pelikan, M., & Branke J., Ed.).Genetic and Evolutionary Computation Conference, {GECCO} 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010. 1409–1416.
(2011). Benchmark Generator for Software Testers.
(Iliadis, L. S., Maglogiannis I., & Papadopoulos H., Ed.).Artificial Intelligence Applications and Innovations - 12th {INNS} {EANN-SIG} International Conference, {EANN} 2011 and 7th {IFIP} {WG} 12.5 International Conference, {AIAI} 2011, Corfu, Greece, September 15-18, 2011, Proceedings, Part {II}. 378–388.
(2011). Comparing Metaheuristic Algorithms for Error Detection in Java Programs.
(Cohen, M. B., & Cinnéide M. Ó., Ed.).Search Based Software Engineering - Third International Symposium, {SSBSE} 2011, Szeged, Hungary, September 10-12, 2011. Proceedings. 82–96.