Francisco Palomo Lozano
Francisco Palomo Lozano
Verified email at - Homepage
Cited by
Cited by
Mutation operators for WS-BPEL 2.0
A Estero-Botaro, F Palomo-Lozano, I Medina-Bulo
21th International Conference on Software & Systems Engineering and their …, 2008
Assessment of class mutation operators for C++ with the MuCPP mutation system
P Delgado-Pérez, I Medina-Bulo, F Palomo-Lozano, A García-Domínguez, ...
Information and Software Technology 81, 169-184, 2017
Exact scalable sensitivity analysis for the next release problem
M Harman, J Krinke, I Medina-Bulo, F Palomo-Lozano, J Ren, S Yoo
ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (2), 19, 2014
Quantitative evaluation of mutation operators for WS-BPEL compositions
A Estero-Botaro, F Palomo-Lozano, I Medina-Bulo
2010 Third International Conference on Software Testing, Verification, and …, 2010
Scalability of assessments of wiki-based learning experiences in higher education
M Palomo-Duarte, JM Dodero, A García-Domínguez, P Neira-Ayuso, ...
Computers in Human Behavior 31, 638-650, 2014
Quality metrics for mutation testing with applications to WS‐BPEL compositions
A Estero‐Botaro, F Palomo‐Lozano, I Medina‐Bulo, ...
Software Testing, Verification and Reliability 25 (5-7), 536-571, 2015
Class mutation operators for C++ object-oriented systems
P Delgado-Pérez, I Medina-Bulo, JJ Domínguez-Jiménez, ...
annals of telecommunications-annales des télécommunications 70 (3-4), 137-148, 2015
A hybrid algorithm for optimal wireless sensor network deployment with the minimum number of sensor nodes
Y El Khamlichi, A Tahiri, A Abtoy, I Medina-Bulo, F Palomo-Lozano
Algorithms 10 (3), 80, 2017
A verified Common Lisp implementation of Buchberger’s algorithm in ACL2
I Medina-Bulo, F Palomo-Lozano, JL Ruiz-Reina
Journal of Symbolic Computation 45 (1), 96-123, 2010
A framework for genetic test-case generation for WS-BPEL compositions
A Estero-Botaro, A García-Domínguez, JJ Domínguez-Jiménez, ...
IFIP International Conference on Testing Software and Systems, 1-16, 2014
Automatic Verification of Polynomial Rings Fundamental Properties in ACL2
I Medina-Bulo, JA Alonso-Jiménez, F Palomo-Lozano
ACL2 Workshop 2000, 136-155, 2000
MuBPEL: una herramienta de mutación firme para WS-BPEL 2.0
A García-Domínguez, A Estero-Botaro, JJ Domínguez-Jiménez, ...
Actas de las XVII Jornadas de Ingeniería del Software y Bases de Datos, 415-418, 2012
Verified Computer Algebra in Acl2
I Medina-Bulo, F Palomo-Lozano, JA Alonso-Jiménez, JL Ruiz-Reina
International Conference on Artificial Intelligence and Symbolic Computation …, 2004
Automatic program generation: Virtual savant for the knapsack problem
R Massobrio, B Dorronsoro, S Nesmachnow, F Palomo-Lozano
Proc. of the International Workshop on Optimization and Learning, 1-2, 2018
Implementation in ACL2 of well-founded polynomial orderings
I Medina-Bulo, F Palomo-Lozano, JA Alonso-Jiménez
Proceedings of the ACL2 Workshop 2002, 2002
Optimization of monitoring in dynamic communication networks using a hybrid evolutionary algorithm
R Mueller-Bady, M Kappes, I Medina-Bulo, F Palomo-Lozano
Proceedings of the Genetic and Evolutionary Computation Conference, 1200-1207, 2017
Generación automática de programas: Savant Virtual para el problema de la mochila
R Massobrio, B Dorronsoro, F Palomo-Lozano, S Nesmachnow, F Pinel
XI Congreso Espanol de Metaheurısticas, Algoritmos Evolutivos y …, 2016
Certification of matrix multiplication algorithms: Strassen’s algorithm in ACL2
F Palomo-Lozano, I Medina-Bulo, JA Alonso-Jimenez
Supplemental Proceedings of the 14th International Conference on Theorem …, 2001
Test suite minimization for mutation testing of WS-BPEL compositions
F Palomo-Lozano, A Estero-Botaro, I Medina-Bulo, M Núñez
Proceedings of the Genetic and Evolutionary Computation Conference, 1427-1434, 2018
MuBPEL: una herramienta de mutación firme para WS-BPEL 2.0
A Garcıa-Domınguez, A Estero-Botaro, I Medina-Bulo, F Palomo-Lozano
Actas de las XVI Jornadas de Ingenierıa del Software y Bases de Datos, 2012
The system can't perform the operation now. Try again later.
Articles 1–20