Universidad Complutense de Madrid
E-Prints Complutense

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

Impacto

Downloads

Downloads per month over past year



Cavalli, Ana R. and Higashino, Teruo and Núñez García, Manuel (2015) Special issue on formal active and passive testing of distributed and networked systems. annals of telecommunications - annales des télécommunications, 70 (3). pp. 83-84. ISSN 0003-4347

[img]
Preview
PDF
44kB

Official URL: http://link.springer.com/article/10.1007/s12243-015-0459-6



Abstract

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.


Item Type:Article
Subjects:Sciences > Computer science
Sciences > Computer science > Computer networks
Sciences > Computer science > Operating systems
ID Code:37087
Deposited On:13 Apr 2016 14:38
Last Modified:01 Jun 2016 23:01

Origin of downloads

Repository Staff Only: item control page