TY  - JOUR
AU  - Núñez Covarrubias, Alberto
AU  - Cerro Cañizares, Pablo
AU  - Núñez García, Manuel
AU  - Hierons, Robert M.
PY  - 2021
DO  - 10.1109/TR.2020.3011512
UR  - https://hdl.handle.net/20.500.14352/105652
T2  - IEEE Transactions on Reliability
AB  - The validation of a cloud system can be complicated by the size of the system, the number of users that can concurrently request services, and the virtualization used to give the illusion of using dedicated machines. Unfortunately, it is not feasible...
LA  - eng
M2  - 261
PB  - IEEE
KW  - Cloud computing
KW  - Metamorphic testing
KW  - Simulation
KW  - Mutation testing
TI  - TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems
TY  - journal article
VL  - 70
ER  -