Acciones
Línea 19: Línea 19:
 
<!--T:12-->
 
<!--T:12-->
 
Listado de publicaciones derivadas de la Red SEBASENet.
 
Listado de publicaciones derivadas de la Red SEBASENet.
# Delgado-P&eacute;rez, P., Medina-Bulo, I., Segura, S., Garc&iacute;a-Dom&iacute;nguez, A., Dom&iacute;nguez-Jim&eacute;nez, J.J.. "GiGAn: Evolutionary Mutation Testing for C++ Object-Oriented Systems". Proceedings of the 32nd ACM SIGAPP Symposium On Applied Computing (SAC'17). 2017.
+
 
# Fleck, M., Troya, J., Kessentini, M., Wimmer, M., Alkhazi, B.. ''Model Transformation Modularization as a Many-Objective Optimization Problem''. IEEE Transactions on Software Engineering. DOI:[http://dx.doi.org/10.1109/TSE.2017.2654255 10.1109/TSE.2017.2654255]. 2017.
+
 
# Chicano, F., Dom&iacute;nguez, M.&Aacute;., Del &Aacute;guila, I., Del Sagrado, J., Alba, E.. ''Dos estrategias de b&uacute;squeda anytime basadas en programaci&oacute;n lineal entera para resolver el problema de selecci&oacute;n de requisitos''. Actas de las XXI Jornadas en Ingenier&iacute;a del Software y Bases de Datos (JISBD'16), pp. 453-466. 2016. Disponible en: [http://biblioteca.sistedes.es/articulo/dos-estrategias-de-busqueda-anytime-basadas-en-programacion-lineal-entera-para-resolver-el-problema-de-seleccion-de-requisitos/ Biblioteca Digital Sistedes].
 
# Chicano, F., Dom&iacute;nguez, M.&Aacute;., Del &Aacute;guila, I., Del Sagrado, J., Alba, E.. ''Dos estrategias de b&uacute;squeda anytime basadas en programaci&oacute;n lineal entera para resolver el problema de selecci&oacute;n de requisitos''. Actas de las XXI Jornadas en Ingenier&iacute;a del Software y Bases de Datos (JISBD'16), pp. 453-466. 2016. Disponible en: [http://biblioteca.sistedes.es/articulo/dos-estrategias-de-busqueda-anytime-basadas-en-programacion-lineal-entera-para-resolver-el-problema-de-seleccion-de-requisitos/ Biblioteca Digital Sistedes].
 
# Del &Aacute;guila, I., Del Sagrado, J., Bosch, A. ''Flujo de trabajo para la experimentaci&oacute;n colaborativa en Ingenier&iacute;a del Software guiada por b&uacute;squeda''. Actas de las XXI Jornadas en Ingenier&iacute;a del Software y Bases de Datos (JISBD'16), pp. 425-436. 2016. Disponible en: [http://biblioteca.sistedes.es/articulo/flujo-de-trabajo-para-la-experimentacion-colaborativa-en-ingenieria-del-software-guiada-por-busqueda/ Biblioteca Digital Sistedes].
 
# Del &Aacute;guila, I., Del Sagrado, J., Bosch, A. ''Flujo de trabajo para la experimentaci&oacute;n colaborativa en Ingenier&iacute;a del Software guiada por b&uacute;squeda''. Actas de las XXI Jornadas en Ingenier&iacute;a del Software y Bases de Datos (JISBD'16), pp. 425-436. 2016. Disponible en: [http://biblioteca.sistedes.es/articulo/flujo-de-trabajo-para-la-experimentacion-colaborativa-en-ingenieria-del-software-guiada-por-busqueda/ Biblioteca Digital Sistedes].
 +
# Delgado-P&eacute;rez, P., Medina-Bulo, I., Segura, S., Garc&iacute;a-Dom&iacute;nguez, A., Dom&iacute;nguez-Jim&eacute;nez, J.J.. "GiGAn: Evolutionary Mutation Testing for C++ Object-Oriented Systems". Proceedings of the 32nd ACM SIGAPP Symposium On Applied Computing (SAC'17). 2017.
 
# Delgado-P&eacute;rez, P., Medina-Bulo, I., Segura, S., Garc&iacute;a-Dom&iacute;nguez, A., Dom&iacute;nguez-Jim&eacute;nez, J.J. ''Prueba de Mutaci&oacute;n Evolutiva Aplicada a Sistemas Orientados a Objetos''. Actas de las XXI Jornadas en Ingenier&iacute;a del Software y Bases de Datos (JISBD'16), pp. 411-424. 2016. Disponible en: [http://biblioteca.sistedes.es/articulo/prueba-de-mutacion-evolutiva-aplicada-a-sistemas-orientados-a-objetos/ Biblioteca Digital Sistedes].
 
# Delgado-P&eacute;rez, P., Medina-Bulo, I., Segura, S., Garc&iacute;a-Dom&iacute;nguez, A., Dom&iacute;nguez-Jim&eacute;nez, J.J. ''Prueba de Mutaci&oacute;n Evolutiva Aplicada a Sistemas Orientados a Objetos''. Actas de las XXI Jornadas en Ingenier&iacute;a del Software y Bases de Datos (JISBD'16), pp. 411-424. 2016. Disponible en: [http://biblioteca.sistedes.es/articulo/prueba-de-mutacion-evolutiva-aplicada-a-sistemas-orientados-a-objetos/ Biblioteca Digital Sistedes].
 +
# Fleck, M., Troya, J., Kessentini, M., Wimmer, M., Alkhazi, B.. ''Model Transformation Modularization as a Many-Objective Optimization Problem''. IEEE Transactions on Software Engineering. DOI:[http://dx.doi.org/10.1109/TSE.2017.2654255 10.1109/TSE.2017.2654255]. 2017.
 
# Palomo-Lozano, F., Del &Aacute;guila, I., Medina-Bulo, I. ''Un algoritmo h&iacute;brido para el problema NRP con interdependencias''. Actas de las XXI Jornadas en Ingenier&iacute;a del Software y Bases de Datos (JISBD'16), pp. 439-452. 2016. Disponible en: [http://biblioteca.sistedes.es/articulo/un-algoritmo-hibrido-para-el-problema-nrp-con-interdependencias/ Biblioteca Digital Sistedes].
 
# Palomo-Lozano, F., Del &Aacute;guila, I., Medina-Bulo, I. ''Un algoritmo h&iacute;brido para el problema NRP con interdependencias''. Actas de las XXI Jornadas en Ingenier&iacute;a del Software y Bases de Datos (JISBD'16), pp. 439-452. 2016. Disponible en: [http://biblioteca.sistedes.es/articulo/un-algoritmo-hibrido-para-el-problema-nrp-con-interdependencias/ Biblioteca Digital Sistedes].
 
# Palomo-Lozano, F., Estero-Botaro, A., Medina-Bulo, I. ''Minimizaci&oacute;n de conjuntos de casos de prueba en la prueba de mutaciones de composiciones BPEL''. Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD'16), pp. 503-506. 2016. Disponible en: [http://biblioteca.sistedes.es/articulo/minimizacion-de-conjuntos-de-casos-de-prueba-en-la-prueba-de-mutaciones-de-composiciones-bpel/ Biblioteca Digital Sistedes].
 
# Palomo-Lozano, F., Estero-Botaro, A., Medina-Bulo, I. ''Minimizaci&oacute;n de conjuntos de casos de prueba en la prueba de mutaciones de composiciones BPEL''. Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD'16), pp. 503-506. 2016. Disponible en: [http://biblioteca.sistedes.es/articulo/minimizacion-de-conjuntos-de-casos-de-prueba-en-la-prueba-de-mutaciones-de-composiciones-bpel/ Biblioteca Digital Sistedes].

Revisión del 21:20 2 mar 2017

Recursos



Publicaciones SEBASENet

Listado de publicaciones derivadas de la Red SEBASENet.

  1. Chicano, F., Domínguez, M.Á., Del Águila, I., Del Sagrado, J., Alba, E.. Dos estrategias de búsqueda anytime basadas en programación lineal entera para resolver el problema de selección de requisitos. Actas de las XXI Jornadas en Ingeniería del Software y Bases de Datos (JISBD'16), pp. 453-466. 2016. Disponible en: Biblioteca Digital Sistedes.
  2. Del Águila, I., Del Sagrado, J., Bosch, A. Flujo de trabajo para la experimentación colaborativa en Ingeniería del Software guiada por búsqueda. Actas de las XXI Jornadas en Ingeniería del Software y Bases de Datos (JISBD'16), pp. 425-436. 2016. Disponible en: Biblioteca Digital Sistedes.
  3. Delgado-Pérez, P., Medina-Bulo, I., Segura, S., García-Domínguez, A., Domínguez-Jiménez, J.J.. "GiGAn: Evolutionary Mutation Testing for C++ Object-Oriented Systems". Proceedings of the 32nd ACM SIGAPP Symposium On Applied Computing (SAC'17). 2017.
  4. Delgado-Pérez, P., Medina-Bulo, I., Segura, S., García-Domínguez, A., Domínguez-Jiménez, J.J. Prueba de Mutación Evolutiva Aplicada a Sistemas Orientados a Objetos. Actas de las XXI Jornadas en Ingeniería del Software y Bases de Datos (JISBD'16), pp. 411-424. 2016. Disponible en: Biblioteca Digital Sistedes.
  5. Fleck, M., Troya, J., Kessentini, M., Wimmer, M., Alkhazi, B.. Model Transformation Modularization as a Many-Objective Optimization Problem. IEEE Transactions on Software Engineering. DOI:10.1109/TSE.2017.2654255. 2017.
  6. Palomo-Lozano, F., Del Águila, I., Medina-Bulo, I. Un algoritmo híbrido para el problema NRP con interdependencias. Actas de las XXI Jornadas en Ingeniería del Software y Bases de Datos (JISBD'16), pp. 439-452. 2016. Disponible en: Biblioteca Digital Sistedes.
  7. Palomo-Lozano, F., Estero-Botaro, A., Medina-Bulo, I. Minimización de conjuntos de casos de prueba en la prueba de mutaciones de composiciones BPEL. Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD'16), pp. 503-506. 2016. Disponible en: Biblioteca Digital Sistedes.
  8. Parejo, J.A., Sánchez, A.B., Sergio Segura, Ruiz-Cortés, A., Lopez-Herrejon, R.E., Egyed, A. Multi-Objective Test Case Prioritization in Highly Configurable Systems: A Case Study. Journal of Systems and Software. DOI:10.1016/j.jss.2016.09.045. Elsevier. 2016.
  9. Parejo, J.A., Ramírez, A., Romero, J.R., Segura, S., Ruiz-Cortés, A. Configuración guiada por búsqueda de aplicaciones basadas en microservicios en la nube. Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD'16), pp. 499-502. 2016. Disponible en: Biblioteca Digital Sistedes.
  10. Ramírez, A., Parejo, J.A., Romero, J.R., Segura, S., Ruiz-Cortés, A. Evolutionary composition of QoS-aware web services: a many-objective perspective. Expert Systems with Applications. DOI:10.1016/j.eswa.2016.10.047. Elsevier. 2016.

Publicaciones SBSE España

  1. Barba, I., Lanz, A., Jiménez-Ramírez, A., Weber, B., Reichert, M., Del Valle, C. Providing Support for the Optimized Management of Declarative Processes. Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD'16), pp. 495-498. 2016.
  2. Del Águila, I., Del Sagrado, J. Análisis de las soluciones guiadas por búsqueda para el problema de selección de requisitos. XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD'15). 2015.
  3. Del Águila, I., Del Sagrado, J., Chicano, F., Alba, E. Resolviendo un problema multi-objetivo de selección de requisitos mediante resolutores del problema SAT. XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD'15). 2015.
  4. 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.
  5. 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.
  6. 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'10). 2010.
  7. 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'10). 2010.
  8. 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'09). 2009.
  9. 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'08). 2008.
  10. Estero-Botaro, A., Cortijo-García, Á, García-Domínguez, A., Palomo-Lozano, F., Domínguez-Jiménez, J.J., Medina-Bulo, I. Análisis y determinación del impacto del operador de mutación en la generación genética de casos de prueba para WS-BPEL. XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD'15). 2015.
  11. 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.
  12. 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'13). 2013.
  13. 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'09). 2009.
  14. 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.
  15. 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'09). 2009.
  16. 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.
  17. Ferrer, J., Chicano, F., Lopez-Herrejon, R.E., Alba, E. Aplicando programación lineal entera a la búsqueda de conjuntos de productos de prueba priorizados para líneas de productos software. Actas de las XXI Jornadas en Ingeniería del Software y Bases de Datos (JISBD'16), pp. 467-480. 2016.
  18. García-Alonso, J., Berrocal, J.J., Murillo, J.M. People as a Service y la Ingeniería del Software Guiada por Búsqueda. XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD'15). 2015.
  19. 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.
  20. Hierons, R.M., Li, M., Liu, X., Segura, S., Zheng, W. "SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization". ACM Transactions on Software Engineering and Methodology. 25:17:1-17:39, 2016.
  21. Lopez-Herrejon, R.E., Linsbauer, L., Galindo, J.A., Parejo, J.A., Benavides, D., Segura, S., Egyed, A. "An assessment of search-based techniques for reverse engineering feature models". Journal of Systems and Software. Elsevier. 2015;103:353-69.
  22. Parejo, J.A. "MOSES: A Metaheuristic Optimization Software EcoSystem". AI Communications. 29:223-5. 2015.
  23. Parejo, J.A., Segura, S., Fernandez, P., Ruiz-Cortés, A. "QoS-aware Web Services Composition using GRASP with Path Relinking". Expert Systems with Applications. 14:4211-23, 2014.
  24. Parejo, J.A., Segura, S., Fernandez, P., Ruiz-Cortés, A. "EXEMPLAR: An Experimental Information Repository for SBSE Research". In: Proceedings of the first International Workshop on Combining Modelling with Search- and Example-Based Approaches (CMSEBA'14). MODELS 2014 satellite event.; 2014.
  25. Parejo, J.A., Ruiz-Cortés, A., Lozano S, Fernandez P. "Metaheuristic Optimization Frameworks: A survey and Benchmarking". Soft Computing, 16:527-61, 2012.
  26. Parejo, J.A., García, J., Ruiz-Cortés, A., Riquelme, J.C. "STATService: Herramienta de análisis estadístico como soporte para la investigación con Metaheurísticas". In: Actas del VIII Congreso Expañol sobre Metaheurísticas, Algoritmos Evolutivos y Bio-inspirados.; 2012.
  27. Ramírez, A., Molina, J.A., Romero, J.R., Ventura, S. Estudio de mecanismos de hibridación para el descubrimiento evolutivo de arquitecturas. Actas de las XXI Jornadas en Ingeniería del Software y Bases de Datos (JISBD'16), pp. 481-494. 2016.
  28. Ramírez, A., Barbudo, R., Romero, J.R., Ventura, S. Herramienta basada en computación evolutiva interactiva para arquitectos software. Actas de la XVII Conferencia de la Asociación Española para la Inteligencia Artificial - XI Congreso Español de Metaheurísticas, Algoritmos Evolutivos y Bioinspirados (CAEPIA - MAEB'16), pp. 387-398. 2016.
  29. 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.
  30. 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.
  31. 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'15). 2015.
  32. 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'15), pp. 173-180. 2015.
  33. 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.
  34. 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'14), pp. 307-320. 2014.
  35. 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.
  36. 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'13), pp.892-901. 2013.
  37. 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'13), pp. 413-426. 2013.
  38. Rueda, U., Vos, T.E.J., Almenar, F., Oreto, M., Esparcia, A. TESTAR – from academic protoype towards an industry-ready tool for automated testing at the User Interface level. XX Jornadas en Ingeniería del Software y Bases de Datos (JISBD'15).
  39. Segura, S., Parejo, J.A., Hierons, R.M., Benavides, D., Ruiz-Cortés, A. "Automated generation of computationally hard feature models using evolutionary algorithms". Expert Systems with Applications. 41:3975-92, 2014.
  40. Segura, S., Galindo, J.A., Benavides, D., Parejo, J.A., Ruiz-Cortés, A. "BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models". Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12). Leipzig, Germany: ACM; pp. 63-71. 2012.

Herramientas y enlaces de interés

  • EXEMPLAR: plataforma de publicación y seguimiento de los materiales de los experimentos, que además integra herramientas y generar descripciones de los propios experimentos con un nivel de detalle adecuado para que puedan ser replicados por otros investigadores.
  • 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.
  • STATService: STATService es una herramienta web para ayudar a los usuarios a aplicar test de hipótesis estadísticos de una manera sencilla y apropiada conforme a la metodología científica y la distribución y tipo de datos a analizar.