TY  - JOUR
AU  - Cavalli, Ana R.
AU  - Higashino, Teruo
AU  - Nuñez García, Manuel
PY  - 2015
DO  - 10.1007/s12243-015-0457-8
SN  - 0003-4347
UR  - https://hdl.handle.net/20.500.14352/24090
T2  - Annals of Telecommunications
AB  - Testing has become an integral part of innovation, production and operation of systems. The activity of testing is already a flourishing area with the active participation of a large community of researchers and experts who are highly aware of its...
LA  - eng
M2  - 85
PB  - Springer Verlag
KW  - Cloud Computing
KW  - Application software
KW  - Formal testing
TI  - A survey on formal active and passive testing withapplications to the cloud
TY  - journal article
VL  - 70
ER  -