83 | -- | 84 | Ana R. Cavalli, Teruo Higashino, Manuel Núñez. Special issue on formal active and passive testing of distributed and networked systems |
85 | -- | 93 | Ana R. Cavalli, Teruo Higashino, Manuel Núñez. A survey on formal active and passive testing with applications to the cloud |
95 | -- | 105 | Xiaoping Che, Jorge López, Stéphane Maag, Gerardo Morales. Testing trust properties using a formal distributed network monitoring approach |
107 | -- | 125 | Roland Groz, Keqin Li 0002, Alexandre Petrenko. Integration testing of communicating systems with unknown components |
127 | -- | 135 | Alberto Nuñez, Robert M. Hierons. A methodology for validating cloud models using metamorphic testing |
137 | -- | 148 | Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Antonio García-Domínguez, Francisco Palomo-Lozano. Class mutation operators for C++ object-oriented systems |
149 | -- | 158 | Liansheng Tan, Haifeng Zhou. Tomofanout: a novel approach for large-scale IP traffic matrix estimation with excellent accuracy |
159 | -- | 169 | David Espes, Xavier Lagrange, Luis Suárez. A cross-layer MAC and routing protocol based on slotted aloha for wireless sensor networks |
171 | -- | 180 | Sami Touati, Hatem Boujemaa, Nazha Abed. Static hybrid multihop relaying and two hops hybrid relaying using DSTC |