Publications

Export 227 results:
Author Title Type [ Year(Asc)]
2017
P. Delgado-Pérez, Segura, S., and Medina-Bulo, I., Assessment of C++ object-oriented mutation operators: A selective mutation approach, Software Testing, Verification and Reliability, p. e1630–n/a, 2017. Please, find the published paper in http://dx.doi.org/10.1002/stvr.1630 (663.5 KB)
P. Delgado-Pérez, Medina-Bulo, I., Palomo-Lozano, F., García-Domínguez, A., and Domínguez-Jiménez, J. José, Assessment of Class Mutation Operators for C++ with the MuCPP Mutation System, Information and Software Technology, 2017. Please, find the published paper in http://dx.doi.org/10.1016/j.infsof.2016.07.002 (723.81 KB)
A. García-de-Prado, Ortiz, G., and Boubeta-Puig, J., CARED-SOA: A Context-Aware Event-Driven Service-Oriented Architecture, IEEE Access, vol. 5, pp. 1–18, 2017.
P. Delgado-Pérez, Medina-Bulo, I., Segura, S., García-Domínguez, A., and Domínguez-Jiménez, J. J., GiGAn: Evolutionary Mutation Testing for C++ Object-Oriented Systems, in The 32nd ACM SIGAPP Symposium On Applied Computing (Software Verification and Testing (SVT 2017)), Marrakech, Morocco, 2017. Please, find the paper in the following link: http://dx.doi.org/10.1145/3019612.3019828 (457.31 KB)
J. Boubeta-Puig, Ortiz, G., and Medina-Bulo, I., Preventing Health Risks Caused by Unhealthy Air Quality Using a CEP-Based SOA 2.0, in Internet of Things and Advanced Application in Healthcare, Hershey, PA, USA: , 2017, pp. 170–196.
P. Delgado-Pérez, Medina-Bulo, I., and Merayo, M. G., Using Evolutionary Computation to Improve Mutation Testing, in Advances in Computational Intelligence - 14th International Work-Conference on Artificial Neural Networks, {IWANN} 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part {II}, 2017.
P. Delgado-Pérez, Medina-Bulo, I., and Núñez, M., Using Evolutionary Mutation Testing to Improve the Quality of Test Suites, in IEEE Congress on Evolutionary Computation 2017, 2017. CEC.pdf (273.39 KB)
2016
H. Macià, Valero, V., Díaz, G., Boubeta-Puig, J., and Ortiz, G., Complex Event Processing Modeling by Prioritized Colored Petri Nets, IEEE Access, vol. 4, pp. 7425–7439, 2016.
J. Berrocal, Boubeta-Puig, J., Canal, C., Garcia-Alonso, J., Murillo, J. M., and Ortiz, G., Construyendo Perfiles Virtuales Mediante el Procesamiento de Eventos Complejos, in XII Jornadas de Ciencia e Ingeniería de Servicios, Salamanca, 2016.
P. Delgado-Pérez and Medina-Bulo, I., Corrección automática en las prácticas de programación orientada a objetos, in 24 Congreso Universitario de Innovación Educativa en las Enseñanzas Técnicas, 24 CUIEET, Cádiz, Spain, 2016.
P. Delgado-Pérez and Medina-Bulo, I., Experiencia en la corrección automática de prácticas de programación en orientación a objetos, in EDUNOVATIC 2016 - I Congreso Virtual internacional de Educación, Innovación y TIC, 2016.
L. Gutiérrez-Madroñal, Domínguez-Jiménez, J. José, and Medina-Bulo, I., Generación automática de eventos de prueba para sistemas de I.o.T., in In XXI Jornadas de Ingenier{ía del Software y Bases de Datos (JISBD - SISTEDES 2016), Salamanca, Spain, 2016. Generación automática de eventos de prueba para sistemas de IoT.pdf (281.25 KB)
P. Delgado-Pérez, Segura, S., Medina-Bulo, I., García-Domínguez, A., and Domínguez-Jiménez, J. José, Prueba de Mutación Evolutiva aplicada a sistemas orientados a objetos, in XXI Jornadas de Ingeniería del Software y Base de Datos, JISBD 2016, Salamanca, Spain, 2016.
A. García de Prado, Ortiz, G., Boubeta-Puig, J., and de Soto, A. R., SOA 2.0 para el Control y Alerta de Riesgos para la Salud Derivados de la Calidad del Aire, in XII Jornadas de Ciencia e Ingeniería de Servicios, Salamanca, 2016.
J. Boubeta-Puig, Hernández, J., Moguel, E., Preciado, J. Carlos, and Sánchez-Figueroa, F., Una Propuesta de Editor Gráfico para el Modelado y la Generación de Código de Patrones de Eventos sobre Drones, in XXI Jornadas de Ingeniería del Software y Bases de Datos, Salamanca, 2016.
2015
P. Delgado-Pérez and Medina-Bulo, I., Automatización de la Corrección de Prácticas de Programación a través del Compilador Clang, in XXI Jornadas sobre la Enseñanza Universitaria de la Informática, JENUI 2015, Andorra La Vella, Andorra, 2015.
P. Delgado-Pérez, Medina-Bulo, I., Domínguez-Jiménez, J. J., García-Domínguez, A., and Palomo-Lozano, F., Class mutation operators for C++ object-oriented systems, Annals of Telecommunications, vol. 70, no. 3--4, p. 137--148, 2015. The final publication is available at Springer via http://dx.doi.org/10.1007/s12243-014-0445-4 (385.71 KB)
A. J. Arjona-Rodríguez, Boubeta-Puig, J., and Ortiz, G., Conservación de una Reserva Natural con un Enfoque Orientado a Servicios y Dirigido por Eventos, in Actas de las XI Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios, Santander, España, 2015.
P. Delgado-Pérez, Medina-Bulo, I., and Domínguez-Jiménez, J. J., Correct Application of Mutation Testing to the C++ Language, in 7th European Symposium on Computational Intelligence and Mathematics, Cádiz, Spain, 2015. ESCIM15.pdf (208.5 KB)
P. Delgado-Pérez and Medina-Bulo, I., Diseño de un lenguaje específico de dominio para la corrección automatizada de prácticas de programación, in XVII Congreso Internacional de Investigación Educativa: Investigar con y para la sociedad, AIDIPE 2015, Cádiz, Spain, 2015.
P. Delgado-Pérez, Medina-Bulo, I., and Domínguez-Jiménez, J. J., Herramienta para la Prueba de Mutationes en el Lenguaje C++, in XX Jornadas de Ingeniería del Software y Base de Datos, JISBD 2015, Santander, Spain, 2015.
J. Boubeta-Puig, Ortiz, G., and Medina-Bulo, I., MEdit4CEP: A model-driven solution for real-time decision making in SOA 2.0, Knowledge-Based Systems, vol. 89, pp. 97-112, 2015.
G. Ortiz, Peinado, S., de Prado, A. García, and Boubeta-Puig, J., MoDAS: Methodology and Tool for Model Driven Adaptable Services, in Service-{Oriented} {Computing} - {ICSOC} 2014 {Workshops}, 1st ed., vol. 8954, F. Toumani, Pernici, B., Grigori, D., Benslimane, D., Mendling, J., Ben Hadj-Alouane, N., Blake, B., Perrin, O., Saleh, I., and Bhiri, S. Switzerland: Springer International Publishing, 2015, pp. 32–43.
J. Boubeta-Puig, Ortiz, G., and Medina-Bulo, I., ModeL4CEP: Graphical domain-specific modeling languages for CEP domains and event patterns, Expert Systems with Applications, vol. 42, pp. 8095–8110, 2015.
P. Delgado-Pérez, Medina-Bulo, I., and Domínguez-Jiménez, J. José, Mutation Testing, in Encyclopedia of Information Science and Technology, Third Edition, 3rdrd ed., M. Khosrow-Pour {IGI Global}, 2015.

Pages