Recursos

• Publicaciones SEBASENet
• Publicaciones SBSE España
• Herramientas y enlaces de interés

---

Publicaciones SEBASENet

Listado de publicaciones en comunidad española

Publicaciones SBSE España

1. Delgado Pérez, P., Medina Bulo, I., Domínguez Jiménez, J. J. Aplicación de la Técnica de Prueba de Mutación Evolutiva a C++. IV Jornadas Predoctorales de la Escuela Superior de Ingeniería. 2012.
2. Domínguez-Jiménez, J.J., Estero-Botaro, A., García-Domínguez, A., Medina-Bulo, I. Evolutionary mutation testing. Information and Software Technology, vol. 53(10), pp. 1108-1123. 2011.
3. Domínguez-Jiménez, J.J., Estero-Botaro, A., García-Domínguez, A., Medina-Bulo, I. GAmera: a Tool for WS-BPEL Composition Testing using Mutation Analysis (DEMO). Proceedings of the 10th International Conference on Web Engineering (ICWE 2010). 2010.
4. Domínguez-Jiménez, J.J., Estero-Botaro, A., García-Domínguez, A., Medina-Bulo, I. Mutación evolutiva. Actas de las XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010). 2010.
5. Domínguez Jiménez, J.J., Estero Botaro, A., Medina Bulo, I. A framework for mutant genetic generation for WS-BPEL. Proceedings of the 35th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2009). 2009.
6. Domínguez Jiménez, J.J., Estero Botaro, A., Medina Bulo, I. Mutant Generation for Web Services Compositions with Genetic Algorithms. E-Activity and Leading Technologies (EALT 2008). 2008
7. Estero Botaro, A., García Domínguez, A., Domínguez Jiménez, J.J., Palomo Lozano, F., Medina Bulo, I. A framework for Genetic Test-Case Generation for WS-BPEL Compositions. Proceedings of the 26th IFIP International Conference on Testing Software and Systems. 2014.
8. Estero Botaro, A., García Domínguez, A., Domínguez Jiménez, J. J., Palomo Lozano, F., Medina Bulo, I. Generación genética de casos de prueba para composiciones WS-BPEL. Actas de las XVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD - SISTEDES 2013). 2013.
9. Estero Botaro, A., Domínguez Jiménez, J.J., Medina Bulo, I. GAmera: an automatic mutant generation system for WS-BPEL compositions. Proceedings of the 7th IEEE European Conference on Web Services (ECOWS 2009). 2009.
10. Estero Botaro, A., Domínguez Jiménez, J.J., Medina Bulo, I. Automatic mutant generation for WS-BPEL compositions based in genetic algorithms. E-Activity and Leading Technologies. 2009.
11. Estero Botaro, A., Domínguez Jiménez, J.J., Medina Bulo, I. Una arquitectura para la generación de casos de prueba de composiciones WS-BPEL basada en mutaciones. IV Taller sobre Pruebas en Ingeniería del Software y Bases de Datos (PRIS 2009). 2009.
12. Estero Botaro, A., Medina Bulo, I. Procedimiento de obtención de casos de prueba de calidad para composiciones WS-BPEL. Jornadas Predoctorales de la Escuela Superior de Ingeniería. 2009.
13. Harman, M., Krinke, J., Medina-Bulo, I., Palomo-Lozano, F., Ren, J., Yoo, S. Exact Scalable Sensitivity Analysis for the Next Release Problem. ACM Transactions on Software Engineering and Methodology, vol. 23(2), art(19). 2014.

Herramientas y enlaces de interés

• GAmera: es un framework open-source para la prueba de mutaciones en WS-BPEL, que usa algoritmos genéticos para reducir el número de mutantes requeridos.

• Rodan: es un generador de casos de prueba para composiciones WS-BPEL 2.0. Rodan está basado en la prueba de mutaciones y algoritmos genéticos, y genera casos de prueba para matar mutantes de la composición WS-BPEL original. La herramienta MuBPEL es la que genera los mutantes de la composición original.