MARIA INMACULADA
MEDINA BULO
Catedrática de Universidad
Antonio
García Domínguez
Antonio García Domínguez-rekin lankidetzan egindako argitalpenak (63)
2024
-
CMBMeTest: Generation of Test Suites Using Model-Based Testing Plus Constraint Programming and Metamorphic Testing
Electronics (Switzerland), Vol. 13, Núm. 1
2023
-
Computing performance requirements for web service compositions
Computer Standards and Interfaces, Vol. 83
2022
-
A Case Study on Combining Model-based Testing and Constraint Programming for Path Coverage
ICSEA 2022 The Seventeenth International Conference on Software Engineering Advances
-
Cobertura de caminos utilizando MBT y CP
Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022)
-
Cobertura de caminos utilizando Model-Based Testing y Constraint Programming
26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022
-
Cobertura de caminos utilizando Model-Based Testing y Constraint Programming
26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022
-
Incorporación de mutaciones en la Ejecución Simbólica Dinámica
26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022
-
Incorporación de mutaciones en la Ejecución Simbólica Dinámica
26th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2022
-
Mutation-inspired symbolic execution for software testing
IET Software, Vol. 16, Núm. 5, pp. 478-492
2021
-
Combining Evolutionary Mutation Testing with Random Selection
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021]
-
Ejecución Simbólica y Prueba de Mutaciones: mejora de la generación automática de casos de prueba
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021]
2020
-
Combining Evolutionary Mutation Testing with Random Selection
2020 IEEE Congress on Evolutionary Computation, CEC 2020 - Conference Proceedings
-
Trends in prioritization of test cases: 2017-2019
Proceedings of the ACM Symposium on Applied Computing
2019
-
Evolutionary mutation testing for IoT with recorded and generated events
Software - Practice and Experience
-
Using constraint solvers to support metamorphic testing
Proceedings - 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing, MET 2019
2017
-
Assessment of class mutation operators for C++ with the MuCPP mutation system
Information and Software Technology, Vol. 81, pp. 169-184
-
Corrigendum to ‘Assessment of class mutation operators for C++ with the MuCPP mutation system’ [Information and Software Technology (2017) 81 (169–184)] (S0950584916301161) (10.1016/j.infsof.2016.07.002)
Information and Software Technology
-
GiGAn: Evolutionary mutation testing for C++ object-oriented systems
Proceedings of the ACM Symposium on Applied Computing
2016
-
Prueba de Mutación Evolutiva Aplicada a Sistemas Orientados a Objetos
Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016
-
Prueba de Mutación Evolutiva Aplicada a Sistemas Orientados a Objetos
Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016