Publications

Export 137 results:
Author [ Title(Desc)] Type Year
Filters: Author is Inmaculada Medina-Bulo  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
I. Medina-Bulo, Alonso-Jimenez, J. A., and Palomo-Lozano, F., Algoritmos polinómicos en ACL2 (una aproximación al algoritmo de Buchberger), I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial (Conferencia Iberoamericana de Inteligencia artificial). Sevilla, Spain, 2002.
M. del C. Castro-Cabrera and Medina-Bulo, I., Algunos Aspectos De La Prueba De Software Basada En Mutaciones Para Composiciones De Servicios Web, in Actas de las {I} Jornadas Predoctorales de la Escuela Superior de Ingenierí­a, Cádiz, Spain, 2009.
L. Gutiérrez-Madroñal, Domínguez-Jiménez, J. J., and Medina-Bulo, I., Análisis del lenguaje EPL para la prueba de mutaciones, III Jornadas Predoctorales de la Escuela Superior de Ingeniería, Cádiz, Andalucía, España. 2011.
M. del C. Castro-Cabrera and Medina-Bulo, I., Análisis y especificación de propiedades en prueba metamórfica para WS-BPEL, in Actas de las IX Jornadas de Ciencia e Ingenierí­a de Servicios, Madrid, Spain, 2013.
J. Boubeta-Puig, García-Domínguez, A., and Medina-Bulo, I., Analogies and Differences between Mutation Operators for WS-BPEL 2.0 and Other Languages, in Proceedings of the 2011 {IEEE} Fourth International Conference on Software Testing, Verification and Validation Workshops ({ICSTW)}, Berlin, Germany, 2011, pp. 398–407.
P. Delgado-Pérez, Medina-Bulo, I., and Domínguez-Jiménez, J. J., Analysis of the Development Process of a Mutation Testing Tool for the C++ Language, in The Ninth International Multi-Conference on Computing in the Global Information Technology, ICCGI 2014, Seville, Spain, 2014.
P. Delgado-Pérez, Medina-Bulo, I., and Domínguez-Jiménez, J. J., Aplicación de la Técnica de Prueba de Mutación Evolutiva a C++, in Actas de las {IV} Jornadas Predoctorales de la Escuela Superior de Ingenier{ía, Cádiz, Spain, 2012.
M. del C. Castro-Cabrera, Camacho-Magriñàn, A., and Medina-Bulo, I., Aplicación de la técnica de pruebas metamórficas a una composición de servicios: Metasearch, in Actas de las {VIII} Jornadas de Ciencia e Ingenierí­a de Servicios, Almeí­a, Spain, 2012.
M. del C. Castro-Cabrera and Medina-Bulo, I., Aplicación de Pruebas Metamórficas a la composición del Préstamo, in Actas de las {III} Jornadas Predoctorales de la Escuela Superior de Ingenierí­a, Cádiz, Spain, 2011.
C. Castro-Cabrera and Medina-Bulo, I., Application of Metamorphic Testing to a Case Study in Web Services Compositions, in E-Business and Telecommunications, vol. 314, M. S. Obaidat, Sevillano, J. L., and Filipe, J. Springer Berlin Heidelberg, 2012, pp. 168-181.
A. García-Domínguez, Medina-Bulo, I., and Marcos-Bárcena, M., An Approach for Model-Driven Design and Generation of Performance Test Cases with UML and MARTE, in Software and Data Technologies, M. José Escalona, Cordeiro, J., and Shishkov, B. Springer Berlin Heidelberg, 2013, pp. 136–150.
A. García-Domínguez, Medina-Bulo, I., and Marcos-Bárcena, M., An Approach for Performance Test Artefact Generation for Multiple Technologies from MARTE-Annotated Workflows, in 7th International Conference on Internet and Web Applications and Services, Stuttgart, Germany, 2012, pp. 221–226.
J. Boubeta-Puig, Ortiz, G., and Medina-Bulo, I., An Approach of Early Disease Detection using CEP and SOA, in Proceedings of The Third International Conferences on Advanced Service Computing, Rome, Italy, 2011, pp. 143–148.
C. Castro-Cabrera and Medina-Bulo, I., An Approach to Metamorphic Testing for WS-BPEL Compositions, in Proceedings of the International Conference on e-Business (ICE-B 2011), 2011.
J. Boubeta-Puig, Ortiz, G., and Medina-Bulo, I., Approaching the Internet of Things through Integrating SOA and Complex Event Processing, in Handbook of Research on Demand-Driven Web Services: Theory, Technologies, and Applications, Z. Sun and Yearwood, J. {IGI} Global, 2014, pp. 304–323.
M. Palomo-Duarte, García-Domínguez, A., and Medina-Bulo, I., An Architecture for Dynamic Invariant Generation in WS-BPEL Web Service Compositions, in Proceedings of {ICE-B} 2008 - International Conference on e-Business, Porto, Portugal, 2008, pp. 37–44.
P. Delgado-Pérez, Segura, S., and Medina-Bulo, I., Assessment of C++ object-oriented mutation operators: A selective mutation approach, Software Testing, Verification and Reliability, p. e1630–n/a, 2017. Please, find the published paper in http://dx.doi.org/10.1002/stvr.1630 (663.5 KB)
P. Delgado-Pérez, Medina-Bulo, I., Palomo-Lozano, F., García-Domínguez, A., and Domínguez-Jiménez, J. José, Assessment of Class Mutation Operators for C++ with the MuCPP Mutation System, Information and Software Technology, 2017. Please, find the published paper in http://dx.doi.org/10.1016/j.infsof.2016.07.002 (723.81 KB)
I. Medina-Bulo, Palomo-Lozano, F., and Ruiz-Reina, J. L., Automated Verification of Buchberger's Algorithm, Journal of Symbolic Computation, vol. 45, pp. 96-123, 2010.
A. Estero-Botaro, Domínguez-Jiménez, J. J., and Medina-Bulo, I., Automatic mutant generation for WS-BPEL compositions based in genetic algorithms, Proceedings of the IASK International Conference E-Activity and Leading Technologies, Sevilla, Spain. 2009.
I. Medina-Bulo, Palomo-Lozano, F., and Alonso-Jiménez, J. A., Automatic verification of polynomial rings fundamental properties in ACL2,, ACL2 Workshop 2000 Proceedings, vol. Part A. Universidad de Texas, Department of Computer Sciences. Technical Report TR--00--29, Austin (USA), pp. 136-155, 2000.
P. Delgado-Pérez and Medina-Bulo, I., Automatización de la Corrección de Prácticas de Programación a través del Compilador Clang, in XXI Jornadas sobre la Enseñanza Universitaria de la Informática, JENUI 2015, Andorra La Vella, Andorra, 2015.
A. García-Domínguez, Medina-Bulo, I., and Bárcena, M. Marcos, Avances Hacia un Algoritmo Optimizado para la Inferencia de Restricciones Locales de Rendimiento en Grafos, in Actas de las {II} Jornadas Predoctorales de la Escuela Superior de Ingeniería, Cádiz, Spain, 2010, p. TIC.5–TIC.8.
A. García-Domínguez, Medina-Bulo, I., and Bárcena, M. Marcos, Avances Hacia un Algoritmo Optimizado para la Inferencia de Restricciones Locales de Rendimiento en Grafos, in Actas de las {II} Jornadas Predoctorales de la Escuela Superior de Ingeniería, Cádiz, Spain, 2010, p. TIC.5–TIC.8.
C
I. Medina-Bulo, Palomo-Lozano, F., and Alonso-Jiménez, J. A., Certification of matrix multiplication algorithms. Strassen's algorithm in ACL2,, 14th International Conference on Theorem Proving in Higher Order Logics. Division of Informatics, Edinburgh (Scotland), pp. 283-298, 2001.

Pages