Publications

Export 137 results:
Author Title Type [ Year(Asc)]
Filters: Author is Inmaculada Medina-Bulo  [Clear All Filters]
2010
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.
J. Boubeta-Puig, Medina-Bulo, I., and García-Domínguez, A., Equivalencias entre los operadores de mutación definidos para WS-BPEL 2.0 y los definidos para otros lenguajes, in Actas del V Taller sobre Pruebas en Ingeniería del Software, Valencia, Spain, 2010, vol. 4, pp. 1–8. 2010-Boubeta-PRIS2010.pdf (193.42 KB)
L. Gutiérrez-Madroñal, Domínguez-Jiménez, J. J., and Medina-Bulo, I., Estudio preliminar de la calidad de los mutantes, III Jornadas Predoctorales de la Escuela Superior de Ingeniería, Cádiz, Andalucía, España. 2010.
M. Palomo-Duarte, García-Domínguez, A., Palomo-Lozano, F., and Medina-Bulo, I., Fomento de la participación del alumnado con herramientas libres de trabajo colaborativo web 2.0, Formación Universitaria, vol. 3, no. 4, p. 15, 2010.
M. Palomo-Duarte, García-Domínguez, A., Palomo-Lozano, F., and Medina-Bulo, I., Fomento de la Participación del Alumnado con Herramientas Libres de Trabajo Colaborativo Web 2.0, Formación universitaria, vol. 3, pp. 25–40, 2010.
J. - J. Domínguez-Jiménez, Estero-Botaro, A., García-Domínguez, A., and Medina-Bulo, I., GAmera: a Tool for WS-BPEL Composition Testing using Mutation Analysis, in Proceedings of the 10th International Conference on Web Engineering, Vienna, Austria, 2010.
A. García-Domínguez, Medina-Bulo, I., and Marcos-Bárcena, M., Hacia la integración de técnicas de pruebas en metodologías dirigidas por modelos para SOA, Novatica, vol. 204, p. 68, 2010.
A. García-Domínguez, Medina-Bulo, I., and Bárcena, M. Marcos, Hacia la Integración de Técnicas de Pruebas en Metodologías Dirigidas por Modelos para SOA, Novática, pp. 62–68, 2010.
A. García-Domínguez, Medina-Bulo, I., and Bárcena, M. Marcos, Inference and propagation of performance constraints from abstract to concrete business workflows, in Proceedings of the Sixth Virtual International Conference of the {EU} {FP6} {I*PROMS} Network of Excellence, Virtual conference, 2010.
A. García-Domínguez, Medina-Bulo, I., and Marcos-Bárcena, M., Inference of performance constraints in Web Service composition models, {CEUR} Workshop Proceedings of the 2nd International Workshop on Model-Driven Service Engineering, vol. 608, pp. 55–66, 2010.
J. - J. Domínguez-Jiménez, Estero-Botaro, A., García-Domínguez, A., and Medina-Bulo, I., Mutación Evolutiva, in Actas de las {XV} Jornadas de Ingeniería del Software y Bases de Datos, Valencia, Spain, 2010.
M. del C. Castro-Cabrera and Medina-Bulo, I., Propuesta De Aplicación De Pruebas Metamórficas En Composiciones De Servicios Web Con WS-Bpel, in Actas de las {II} Jornadas Predoctorales de la Escuela Superior de Ingenierí­a, Cádiz, Spain, 2010.
I. Medina-Bulo, Gutiérrez-Madroñal, L., and Domínguez-Jiménez, J. J., Propuesta de optimización en la prueba de mutaciones en Java, V Taller sobre pruebas en Ingeniería del Software (PRIS 2010), Valencia, Comunidad Valenciana, España. 2010.
A. Estero-Botaro, Palomo-Lozano, F., and Medina-Bulo, I., Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions, Proceedings of the 5th International Workshop on Mutation Analysis (Mutation 2010), París, France. 2010.
A. García-Domínguez, Medina-Bulo, I., and Marcos-Bárcena, M., SODM+T: Inferencia de restricciones de rendimiento, in Actas de las {XV} Jornadas de Ingeniería del Software y Bases de Datos, Valencia, Spain, 2010, vol. 1, pp. 103–106.
M. Palomo-Duarte, García-Domínguez, A., Medina-Bulo, I., Álvarez-Ayllón, A., and Cepero, J. Santacruz, Takuan: a Tool for WS-BPEL Composition Testing using Dynamic Invariant Generation, in Proceedings of the 10th International Conference on Web Engineering, Vienna, Austria, 2010, vol. 6189, pp. 531–534.
J. Boubeta-Puig, Ortiz, G., and Medina-Bulo, I., Un Estudio sobre el Procesamiento de Eventos Complejos y su Integración en Arquitecturas Orientadas a Servicios, in Actas de las {II} Jornadas Predoctorales de la Escuela Superior de Ingeniería, Cádiz, Spain, 2010, pp. 57–60. 2010-Ponencia-Boubeta-II-JORPRESI.pdf (639.48 KB)
I. Medina-Bulo, Palomo-Lozano, F., and Ruiz-Reina, J. - L., A verified common LISP implementation of Buchberger's algorithm in ACL2, Journal of Symbolic Computation, London, United Kingdom, no. 45, pp. 96-123, 2010.
2009
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.
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.
M. Palomo-Duarte, García-Domínguez, A., and Medina-Bulo, I., Enhancing WS-BPEL Dynamic Invariant Generation using XML Schema and XPath Information, in Proceedings of the 9th International Conference on Web Engineering, San Sebastián, Spain, 2009, vol. 5648/2009, pp. 469–472.
I. Medina-Bulo, Estero-Botaro, A., and Domínguez-Jiménez, J. J., A framework for mutant genetic generation for WS-BPEL, Lecture Notes in Computer Science, vol. 5404, p. 240, 2009.
G. Aburruzaga-García, Medina-Bulo, I., and Palomo-Lozano, F., Fundamentos de C++. Segunda edición. Cádiz: Servicio de publicaciones de la Universidad de Cádiz, 2009.
J. - J. Domínguez-Jiménez, Estero-Botaro, A., García-Domínguez, A., and Medina-Bulo, I., GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions, in Proceedings of the 7th {IEEE} European Conference on Web Services, Eindhoven, The Netherlands, 2009.
A. Estero-Botaro, Medina-Bulo, I., Domínguez-Jiménez, J. J., and Gutiérrez-Madroñal, L., GAmera: una herramienta para la generación y selección mediante algoritmos genéticos de mutantes WS-BPEL, Actas de las XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), San Sebastián, Spain. 2009.

Pages