TY  - GEN 
AU  - Castro Cabrera, María Carmen
AU  - García-Dominguez, A.
AU  - Medina Bulo, María Inmaculada
A4  - Ingeniería Informática
PY  - 2024
SN  - 2079-9292
UR  - http://hdl.handle.net/10498/32762
AB  - Various software testing techniques have been shown to be successful in producing high-quality test suites for software where the code is not accessible (black-box approach). Nevertheless, no method has been found to guide combining some of these in a...
LA  - eng
PB  - Multidisciplinary Digital Publishing Institute (MDPI)
KW  - Constraint programming systems
KW  - Constraint solvers
KW  - Metamorphic relations
KW  - Model-based testing
KW  - Test case generation
KW  - Test suites
TI  - CMBMeTest: Generation of Test Suites Using Model-Based Testing Plus Constraint Programming and Metamorphic Testing
DO  - 10.3390/electronics13010018
ER  -