RT Journal Article
T1 Special issue on formal active and passive testing of distributed and networked systems
A1 Cavalli, Ana R.
A1 Higashino, Teruo
A1 Núñez García, Manuel
AB 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.
PB Springer Verlag
SN 0003-4347
YR 2015
FD 2015-04
LK https://hdl.handle.net/20.500.14352/24415
UL https://hdl.handle.net/20.500.14352/24415
LA eng
DS Docta Complutense
RD 30 abr 2024