Grupo UCASE de Ingeniería del Software
TIC025
University of York
York, Reino UnidoPublicaciones en colaboración con investigadores/as de University of York (12)
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
-
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
-
Preface
CEUR Workshop Proceedings
-
Preface
CEUR Workshop Proceedings
2019
-
Coverage-based quality metric of mutation operators for test suite improvement
Software Quality Journal, Vol. 27, Núm. 2, pp. 823-859
2018
-
Evaluation of mutation testing in a nuclear industry case study
IEEE Transactions on Reliability, Vol. 67, Núm. 4, pp. 1406-1419
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
-
Two case studies on generating administrative process applications with AdminDSL
Lecture Notes in Business Information Processing
2011
-
EUnit: A unit testing framework for model management tasks
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)