Volume 70, Issue 3-4

April 2015

Formal active and passive testing of distributed and networked systems

Filter by

Volume:

Sort by

Date published:

New to old Old to new

9 articles in this issue

Special issue on formal active and passive testing of distributed and networked systems
Ana R. Cavalli
Teruo Higashino
Manuel Núñez
Editorial 18 February 2015 Pages: 83 - 84
A survey on formal active and passive testing with applications to the cloud
Ana R. Cavalli
Teruo Higashino
Manuel Núñez
OriginalPaper 18 February 2015 Pages: 85 - 93
Testing trust properties using a formal distributed network monitoring approach
Xiaoping Che
Jorge Lopez
Gerardo Morales
OriginalPaper 14 December 2014 Pages: 95 - 105
Integration testing of communicating systems with unknown components
Roland Groz
Keqin Li
Alexandre Petrenko
OriginalPaper 05 November 2014 Pages: 107 - 125
A methodology for validating cloud models using metamorphic testing
Alberto Núñez
Robert M. Hierons
OriginalPaper 04 July 2014 Pages: 127 - 135
Class mutation operators for C++ object-oriented systems
Pedro Delgado-Pérez
Inmaculada Medina-Bulo
Francisco Palomo-Lozano
OriginalPaper 02 September 2014 Pages: 137 - 148
Tomofanout: a novel approach for large-scale IP traffic matrix estimation with excellent accuracy
Liansheng Tan
Haifeng Zhou
OriginalPaper 17 April 2014 Pages: 149 - 158
A cross-layer MAC and routing protocol based on slotted aloha for wireless sensor networks
David Espes
Xavier Lagrange
Luis Suárez
OriginalPaper 26 April 2014 Pages: 159 - 169
Static hybrid multihop relaying and two hops hybrid relaying using DSTC
Sami Touati
Hatem Boujemaa
Nazha Abed
OriginalPaper 12 June 2014 Pages: 171 - 180

Search