Publicacións nas que colabora con MARIA INMACULADA MEDINA BULO (19)

2024

  1. CMBMeTest: Generation of Test Suites Using Model-Based Testing Plus Constraint Programming and Metamorphic Testing

    Electronics (Switzerland), Vol. 13, Núm. 1

2022

  1. A Case Study on Combining Model-based Testing and Constraint Programming for Path Coverage

    ICSEA 2022 The Seventeenth International Conference on Software Engineering Advances

  2. Cobertura de caminos utilizando MBT y CP

    Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022)

  3. Cobertura de caminos utilizando Model-Based Testing y Constraint Programming

    26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022

  4. Cobertura de caminos utilizando Model-Based Testing y Constraint Programming

    26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022

2020

  1. Trends in prioritization of test cases: 2017-2019

    Proceedings of the ACM Symposium on Applied Computing

2019

  1. Using constraint solvers to support metamorphic testing

    Proceedings - 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing, MET 2019

2018

  1. MRG4BPEL: Herramienta para generar relaciones metamórficas candidatas en composiciones WS-BPEL

    Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018

  2. MRG4BPEL: Herramienta para generar relaciones metamórficas candidatas en composiciones WS-BPEL

    Actas de las 23rd Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2018

  3. Prácticas co-evaluables y autoevaluables para la etapa de prueba de software

    Book of abstracts CIVINEDU 2018: 2nd International Virtual Conference on Educational Research and Innovation 24 - 25 October, 2018

  4. Sello de calidad para la acreditación competencial de la función orientadora en la universidad:desarrollo de propuesta SCO-UCA.

    I CONGRESO IBEROAMERICANO DE DOCENTES

2014

  1. Scalability of assessments of wiki-based learning experiences in higher education

    Computers in Human Behavior, Vol. 31, Núm. 1, pp. 638-650

2012

  1. Application of Metamorphic Testing to a case study in web services compositions

    Communications in Computer and Information Science

  2. Computer-supported assessment of wikis in higher education: Two case studies

    2012 International Symposium on Computers in Education, SIIE 2012

  3. Metasearch services composition in WS-BPEL: An application of Metamorphic Testing

    ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends

2011

  1. AN APPROACH TO METAMORPHIC TESTING FOR WS-BPEL COMPOSITIONS

    2011 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON E-BUSINESS (ICE-B 2011)

  2. An approach to Metamorphic Testing for WS-BPEL compositions

    ICE-B 2011 - Proceedings of the International Conference on e-Business

  3. Experiencia en el desarrollo y evaluación de competencias genéricas/tranversales en el Grado en Ingeniería Informática

    XIX Congreso Universitario de Innovación Educativa en las enseñanzas Técnicas: libro de Resúmenes

2007

  1. Adaptación de las asignaturas de las titulaciones de Informática al EEES

    Actividades de los Grupos de Formación del Profesorado de la Universidad de Cádiz 2005-2006 (Servicio de Publicaciones), pp. 179-190