Acciones
(Se marcó esta sección para su traducción)
Línea 1: Línea 1:
 
<translate>
 
<translate>
 +
<!--T:7-->
 
<h1>Recursos</h1>
 
<h1>Recursos</h1>
  
 +
<!--T:8-->
 
__NOTOC__
 
__NOTOC__
  
 +
<!--T:9-->
 
* [[#publications1|Publicaciones SEBASENet]]
 
* [[#publications1|Publicaciones SEBASENet]]
 
* [[#publications2|Publicaciones SBSE Espa&ntilde;a]]
 
* [[#publications2|Publicaciones SBSE Espa&ntilde;a]]
 
* [[#tools|Herramientas y enlaces de inter&eacute;s]]
 
* [[#tools|Herramientas y enlaces de inter&eacute;s]]
  
 +
<!--T:10-->
 
<hr />
 
<hr />
  
 +
<!--T:11-->
 
<span id="publications1"><h3>Publicaciones SEBASENet</h3></span>
 
<span id="publications1"><h3>Publicaciones SEBASENet</h3></span>
  
 +
<!--T:12-->
 
Listado de publicaciones derivadas de la Red SEBASENet.
 
Listado de publicaciones derivadas de la Red SEBASENet.
  
 +
<!--T:13-->
 
<span id="publications2><h3>Publicaciones SBSE Espa&ntilde;a</h3></span>
 
<span id="publications2><h3>Publicaciones SBSE Espa&ntilde;a</h3></span>
  
 +
<!--T:14-->
 
# Delgado P&eacute;rez, P., Medina Bulo, I., Dom&iacute;nguez Jim&eacute;nez, J. J. ''Aplicaci&oacute;n de la T&eacute;cnica de Prueba de Mutaci&oacute;n Evolutiva a C++''. IV Jornadas Predoctorales de la Escuela Superior de Ingenier&iacute;a. 2012.
 
# Delgado P&eacute;rez, P., Medina Bulo, I., Dom&iacute;nguez Jim&eacute;nez, J. J. ''Aplicaci&oacute;n de la T&eacute;cnica de Prueba de Mutaci&oacute;n Evolutiva a C++''. IV Jornadas Predoctorales de la Escuela Superior de Ingenier&iacute;a. 2012.
 
# Dom&iacute;nguez-Jim&eacute;nez, J.J., Estero-Botaro, A., Garc&iacute;a-Dom&iacute;nguez, A., Medina-Bulo, I. ''Evolutionary mutation testing''. Information and Software Technology, vol. 53(10), pp. 1108-1123. 2011.
 
# Dom&iacute;nguez-Jim&eacute;nez, J.J., Estero-Botaro, A., Garc&iacute;a-Dom&iacute;nguez, A., Medina-Bulo, I. ''Evolutionary mutation testing''. Information and Software Technology, vol. 53(10), pp. 1108-1123. 2011.
Línea 39: Línea 47:
 
# Ram&iacute;rez, A., Romero, J.R., Ventura, S. ''Identificaci&oacute;n de Componentes en Arquitecturas Software Mediante Programaci&oacute;n Evolutiva''. Actas de las XVIII Jornadas en Ingenier&iacute;a del Software y Bases de Datos (JISBD - SISTEDES 2013), pp. 413-426. 2013.
 
# Ram&iacute;rez, A., Romero, J.R., Ventura, S. ''Identificaci&oacute;n de Componentes en Arquitecturas Software Mediante Programaci&oacute;n Evolutiva''. Actas de las XVIII Jornadas en Ingenier&iacute;a del Software y Bases de Datos (JISBD - SISTEDES 2013), pp. 413-426. 2013.
  
 +
<!--T:15-->
 
<span id="tools"><h3>Herramientas y enlaces de inter&eacute;s</h3></span>
 
<span id="tools"><h3>Herramientas y enlaces de inter&eacute;s</h3></span>
  
 +
<!--T:16-->
 
* [https://neptuno.uca.es/redmine/projects/gamera GAmera]: es un framework open-source para la prueba de mutaciones en WS-BPEL, que usa algoritmos gen&eacute;ticos para reducir el n&uacute;mero de mutantes requeridos.
 
* [https://neptuno.uca.es/redmine/projects/gamera GAmera]: es un framework open-source para la prueba de mutaciones en WS-BPEL, que usa algoritmos gen&eacute;ticos para reducir el n&uacute;mero de mutantes requeridos.
  
 +
<!--T:17-->
 
* [https://neptuno.uca.es/redmine/projects/sources-fm/wiki/Rodan Rodan]: es un generador de casos de prueba para composiciones WS-BPEL 2.0. Rodan est&aacute; basado en la prueba de mutaciones y algoritmos gen&eacute;ticos, y genera casos de prueba para matar mutantes de la composici&oacute;n WS-BPEL original. La herramienta [https://neptuno.uca.es/redmine/projects/sources-fm/wiki/MuBPEL/ MuBPEL] es la que genera los mutantes de la composici&oacute;n original.
 
* [https://neptuno.uca.es/redmine/projects/sources-fm/wiki/Rodan Rodan]: es un generador de casos de prueba para composiciones WS-BPEL 2.0. Rodan est&aacute; basado en la prueba de mutaciones y algoritmos gen&eacute;ticos, y genera casos de prueba para matar mutantes de la composici&oacute;n WS-BPEL original. La herramienta [https://neptuno.uca.es/redmine/projects/sources-fm/wiki/MuBPEL/ MuBPEL] es la que genera los mutantes de la composici&oacute;n original.
 
</translate>
 
</translate>

Revisión del 15:39 12 jun 2016

Recursos



Publicaciones SEBASENet

Listado de publicaciones derivadas de la Red SEBASENet.

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.
  14. Ramírez, A., Romero, J.R., Ventura, S. A comparative study of many-objective evolutionary algorithms for the discovery of software architectures. Empirical Software Engineering. Springer. 2015.
  15. Ramírez, A., Romero, J.R., Ventura, S. An approach for the evolutionary discovery of software architectures. Information Sciences, vol. 305, pp. 234-255. 2015.
  16. Ramírez, A., Romero, J.R., Ventura, S. Interactividad en el descubrimiento evolutivo de arquitecturas. XX Jornadas en Ingeniería del Software y Bases de Datos (JISBD - SISTEDES 2015). 2015.
  17. Ramírez, A., Romero, J.R., Ventura, S. Estudio preliminar del rendimiento de familias de algoritmos multiobjetivo en diseño arquitectónico. Actas del X Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados (MAEB 2015), pp. 173-180. 2015.
  18. Ramírez, A., Romero, J.R., Ventura, S. On the Performance of Multiple Objective Evolutionary Algorithms for Software Architecture Discovery. Proceedings of the 16th Annual Conference on Genetic and Evolutionary Computation (GECCO'14), pp. 1287-1294. 2014.
  19. Ramírez, A., Romero, J.R., Ventura, S. Análisis de la aplicabilidad de medidas software para el diseño semi-automático de arquitecturas". Actas de las XIX Jornadas en Ingeniería del Software y Bases de Datos (JISBD - SISTEDES 2014), pp. 307-320. 2014.
  20. Ramírez, A., Romero, J.R., Ventura, S. A Novel Component Identification Approach Using Evolutionary Programming. Proceedings of the 15th Annual Conference Companion on Genetic and Evolutionary Computation (GECCO'13 Companion), pp. 209-210. 2013.
  21. Ramírez, A., Romero, J.R., Ventura, S. Algoritmo de programación evolutiva para identificación de arquitecturas software. Actas del IX Congreso Español sobre Metaheurísticas, Algoritmos Evolutivos y Bioinspirados (MAEB 2013), pp.892-901. 2013.
  22. Ramírez, A., Romero, J.R., Ventura, S. Identificación de Componentes en Arquitecturas Software Mediante Programación Evolutiva. Actas de las XVIII Jornadas en Ingeniería del Software y Bases de Datos (JISBD - SISTEDES 2013), pp. 413-426. 2013.

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.