Publications
Efficient identification of improving moves in a ball for pseudo-boolean problems.
(Arnold, D. V., Ed.).Genetic and Evolutionary Computation Conference, {GECCO} '14, Vancouver, BC, Canada, July 12-16, 2014. 437–444.
(2014). Efficient Hill Climber for Multi-Objective Pseudo-Boolean Optimization.
16th European Conference on Evolutionary Computation for Combinatorial Optimization (LNCS 9595).
(2016). Efficient Hill Climber for Constrained Pseudo-Boolean Optimization Problems.
Proceedings of the Genetic and Evolutionary Computation Conference 2016.
(2016). Dos estrategias de búsqueda anytime basadas en programación lineal entera para resolver el problema de selección de requisitos.
Jornada de Ingeniería del Software y Bases de Datos.
(2016). Diseño de Códigos Correctores de Errores con Algoritmos Genéticos.
(Hervás, C., García N., Martínez F. J., Ortiz D., & Ventura S., Ed.).Proceedings of the Tercer Congreso Español de Metaheurísticas, Algoritmos Evolutivos y Bioinspirados (MAEB04).
(2004). Detecting protocol errors using particle swarm optimization with Java Pathfinder.
(Smari, W. W., Ed.).Proceedings of the High Performance Computing & Simulation Conference.
(2008). 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). Descomposición en Landscapes Elementales del Problema de Diseño de Redes de Radio con Aplicaciones.
Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados (MAEB 2015).
(2015). 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). CTPATH: A Real World System to Enable Green Transportation by Optimizing Environmentaly Friendly Routing Paths.
Smart Cities - First International Conference, Smart-CT 2016, Málaga, Spain, June 15-17, 2016, Proceedings.
(2016). 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). 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.
(2011). Comparative analysis of classical multi-objective evolutionary algorithms and seeding strategies for pairwise testing of Software Product Lines.
Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC} 2014, Beijing, China, July 6-11, 2014. 387–396.
(2014).
(2018). CMSA para el problema de la generación de casos de prueba priorizados en líneas de productos software.
Jornadas de Ingeniería del Software y Bases de Datos.
(2018). 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). 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). On the Application of SAT Solvers to the Test Suite Minimization Problem.
(Fraser, G., & de Souza J. Teixeira, Ed.).Search Based Software Engineering - 4th International Symposium, {SSBSE} 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings. 45–59.
(2012). Aplicando programación lineal entera a la búsqueda de conjuntos de productos de prueba priorizados para líneas de productos software.
Jornadas de Ingeniería del Software y Bases de Datos.
(2016). Ant Colony Optimization in Model Checking.
Taller de apoyo a la decisión en Ingeniería del Software.
(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 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). 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). Software Engineering and Development.
193-222.
(2009).
(2004).