A survey on formal active and passive testing with applications to the cloud
Résumé
In this paper we review the main lines of work dealing with formal approaches to testing. This survey is divided into two main parts: active and passive testing. In addition, we overview some of the main approaches to testing (in) the cloud