(Página creada con «* [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 mutant...») |
(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...») |
||
Línea 42: | Línea 42: | ||
* [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]: | + | * [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. |
Revisión del 15:44 12 jun 2016
Resources
SEBASENet publications
List of publications derived from SEBASENet.
Spanish SBSE publications
- 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.
- 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.
- 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.
- 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.
- 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.
- 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
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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
- GAmera: is an open-source WS-BPEL mutation testing framework which uses genetic algorithms to reduce the number of mutants required.