Acciones
(Página creada con «* [https://neptuno.uca.es/redmine/projects/sources-fm/wiki/Rodan Rodan]: is a test case generator for WS-BPEL 2.0 compositions. Rodan is based on mutation testing and genet...»)
(Actualizando para coincidir con nueva versión de la página fuente)
Línea 39: Línea 39:
  
 
<span id="tools"><h3>Tools and links</h3></span>
 
<span id="tools"><h3>Tools and links</h3></span>
 +
 +
* [https://exemplar.us.es 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.
  
 
* [https://neptuno.uca.es/redmine/projects/gamera GAmera]: is an open-source WS-BPEL mutation testing framework which uses genetic algorithms to reduce the number of mutants required.
 
* [https://neptuno.uca.es/redmine/projects/gamera GAmera]: is an open-source WS-BPEL mutation testing framework which uses genetic algorithms to reduce the number of mutants required.
  
 
* [https://neptuno.uca.es/redmine/projects/sources-fm/wiki/Rodan Rodan]: is a test case generator for WS-BPEL 2.0 compositions. Rodan is based on mutation testing and genetic algorithms. Rodan generates test cases for killing mutants of the original WS-BPEL composition. The [https://neptuno.uca.es/redmine/projects/sources-fm/wiki/MuBPEL/ MuBPEL] tool generates the mutants for the original composition.
 
* [https://neptuno.uca.es/redmine/projects/sources-fm/wiki/Rodan Rodan]: is a test case generator for WS-BPEL 2.0 compositions. Rodan is based on mutation testing and genetic algorithms. Rodan generates test cases for killing mutants of the original WS-BPEL composition. The [https://neptuno.uca.es/redmine/projects/sources-fm/wiki/MuBPEL/ MuBPEL] tool generates the mutants for the original composition.
 +
 +
<!--T:18-->
 +
* [https://exemplar.us.es/statservice/ 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.

Revisión del 19:23 28 oct 2016

Resources



SEBASENet publications

List of publications derived from SEBASENet.

Spanish SBSE publications

  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.

Tools and links

  • 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: is an open-source WS-BPEL mutation testing framework which uses genetic algorithms to reduce the number of mutants required.
  • Rodan: is a test case generator for WS-BPEL 2.0 compositions. Rodan is based on mutation testing and genetic algorithms. Rodan generates test cases for killing mutants of the original WS-BPEL composition. The MuBPEL tool generates the mutants for the original composition.
  • 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.