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 | 74 | 2017 |
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 | 70 | 2008 |
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 | 47 | 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 | 47 | 2010 |
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 | 43 | 2017 |
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 | 41 | 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 | 33 | 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 | 26 | 2015 |
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 | 21 | 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 | 20 | 2014 |
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 | 16 | 2012 |
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 | 13 | 2018 |
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 | 12 | 2012 |
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 | 11 | 2017 |
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 | 11 | 2000 |
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 | 10 | 2018 |
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 | 10 | 2004 |
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 | 8 | 2002 |
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 | 7 | 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 | 6 | 2001 |