A survey on formal active and passive testing with applications to the cloud

作者：Cavalli Ana R^*; Higashino Teruo; Nunez Manuel

来源：Annales des Telecommunications, 2015, 70(3-4): 85-93.

DOI：10.1007/s12243-015-0457-8

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.

• 出版日期2015-4