Vol. 70, n° 3-4, March-April 2015
Content available on Springerlink

Guest editors
Ana R. Cavalli, Télécom SudParis, France
Teruo Higashino, Osaka University, Japan
Manuel Núñez, Universidad Complutense de Madrid, Spain

Editorial

Ana R. Cavalli, Teruo Higashino, Manuel Núñez

A survey on formal active and passive testing with applications to the cloud

Ana R. Cavalli¹, Teruo Higashino², and Manuel Núñez³

(1) Télécom SudParis, France
(2) Osaka University, Japan
(3) Universidad Complutense de Madrid, Spain

Testing trust properties using a formal distributed network monitoring approach

Xiaoping Che^{1, 2}, Jorge Lopez², Stephane Maag² and Gerardo Morales³

(1) Beijing Jiaotong University, People’s Republic of China
(2) Telecom SudParis, France
(3) Universidad Galileo, Guatemala, Guatemala

Abstract Collaborative systems are growing in use and in popularity.» Read the summary

Read More