1. 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

2. 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

3. Testing trust properties using a formal distributed network monitoring approach

   • Xiaoping Che
   • Jorge Lopez
   • Gerardo Morales

   OriginalPaper 14 December 2014 Pages: 95 - 105

   

4. Integration testing of communicating systems with unknown components

   • Roland Groz
   • Keqin Li
   • Alexandre Petrenko

   OriginalPaper 05 November 2014 Pages: 107 - 125

   

5. A methodology for validating cloud models using metamorphic testing

   • Alberto Núñez
   • Robert M. Hierons

   OriginalPaper 04 July 2014 Pages: 127 - 135

   

6. 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

   

7. 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

   

8. 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

   

9. Static hybrid multihop relaying and two hops hybrid relaying using DSTC

   • Sami Touati
   • Hatem Boujemaa
   • Nazha Abed

   OriginalPaper 12 June 2014 Pages: 171 - 180