TY  - CHAP 
AU  - Castro Cabrera, María Carmen
AU  - García-Domínguez, Antonio
AU  - Medina Bulo, María Inmaculada
A4  - Ingeniería Informática
PY  - 2019
SN  - 9781728122359
UR  - http://hdl.handle.net/10498/38440
AB  - One of the current challenges in the context of
Metamorphic Testing (MT) is the formalization and validation
of metamorphic relations (MRs), as there is no single method
or homogeneous way of doing it. It is a part of this software
testing...
LA  - eng
PB  - IEEE
KW  - Metamorphic relations
KW  - constraint solvers
KW  - con- straint programming systems
KW  - validation
TI  - Using Constraint Solvers to Support Metamorphic Testing
DO  - 0.1109/MET.2019.00013
ER  -