关注
Francisco Palomo Lozano
Francisco Palomo Lozano
在 uca.es 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
742017
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
702008
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
472014
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
472010
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
432017
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
412014
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
332015
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
262015
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
212010
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
202014
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
162012
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
132018
Wikis en docencia: una experiencia con WikiHaskell y StatMediaWiki
M Palomo Duarte, I Medina Bulo, EJ Rodríguez Posada, ...
RUSC. Universities and Knowledge Society Journal 9 (1), 2012
122012
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
112017
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
112000
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
102018
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
102004
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
82002
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
72016
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
62001
系统目前无法执行此操作,请稍后再试。
文章 1–20