Publications

Export 137 results:
Author Title [ Type(Desc)] Year
Filters: Author is Inmaculada Medina-Bulo  [Clear All Filters]
Book Chapter
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.
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.
Y. Taher, Boubeta-Puig, J., van den Heuvel, W. - J., Ortiz, G., and Medina-Bulo, I., A Model-Driven Approach for Web Service Adaptation Using Complex Event Processing, in Advances in Service-Oriented and Cloud Computing, C. Canal and Villari, M. Springer Berlin Heidelberg, 2013, pp. 346–359.
P. Delgado-Pérez, Medina-Bulo, I., and Domínguez-Jiménez, J. José, Mutation Testing, in Encyclopedia of Information Science and Technology, Third Edition, 3rdrd ed., M. Khosrow-Pour {IGI Global}, 2015.
J. Boubeta-Puig, Ortiz, G., and Medina-Bulo, I., Preventing Health Risks Caused by Unhealthy Air Quality Using a CEP-Based SOA 2.0, in Internet of Things and Advanced Application in Healthcare, Hershey, PA, USA: , 2017, pp. 170–196.
G. Ortiz, Boubeta-Puig, J., García-de-Prado, A., and Medina-Bulo, I., Towards Event-Driven Context-Aware Web Services, in Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solutions, G. Ortiz and Cubo, J. {IGI} Global, 2013, pp. 148–159.
I. Medina-Bulo, Palomo-Lozano, F., Alonso-Jiménez, J. A., and Ruiz-Reina, J. L., Verified Computer Algebra in Acl2 (Gröbner Bases Computation), in Artificial Intelligence and Symbolic Computation, vol. 3249, Springer Berlin Heidelberg, 2004, pp. 171-184.
Conference Paper
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.
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.
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.
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.

Pages