Special issue on formal active and passive testing of distributed and networked systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Annals of Telecommunications - annales des télécommunications Année : 2015

Special issue on formal active and passive testing of distributed and networked systems

Résumé

Preface : The target of the special issue was to receive submissions contributing to the hot topics on formal approaches for active and passive testing of distributed and networked systems. With this aim and after a careful selection, four papers have being chosen to be published in this special issue. In addition, the special issue includes a survey on active and passive testing as well as on testing (in) the cloud. The editors of the special issue would like to thank the members of the guest editorial board for their help during the reviewing process: Rui Abreu, Khaled El-Fakih, Toru Hasegawa, Thierry Jéron, Pascale Le Gall, David Lee, Stephane Maag, Eliane Martins, Inmaculada Medina-Bulo, Mercedes G. Merayo, Adenilso Simao, Kenji Suzuki, Jan Tretmans, Farn Wang, Carsten Weise, Franz Wotawa, Nina Yevtushenko, and Fatiha Zaïdi. We sincerely hope that the subscribers of the journal enjoy reading the papers contained in this special issue and that these contributions are useful for their research

Dates et versions

hal-01262755 , version 1 (27-01-2016)

Identifiants

Citer

Ana Rosa Cavalli, Teruo Higashino, Manuel Nunez. Special issue on formal active and passive testing of distributed and networked systems. Annals of Telecommunications - annales des télécommunications, 2015, 70 (3), pp.83 - 84. ⟨10.1007/s12243-015-0459-6⟩. ⟨hal-01262755⟩
29 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More