Using Time to Add Order to Distributed Testing

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez. Using Time to Add Order to Distributed Testing. In Dimitra Giannakopoulou, Dominique Méry, editors, FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Volume 7436 of Lecture Notes in Computer Science, pages 232-246, Springer, 2012. [doi]

Authors

Robert M. Hierons

This author has not been identified. Look up 'Robert M. Hierons' in Google

Mercedes G. Merayo

This author has not been identified. Look up 'Mercedes G. Merayo' in Google

Manuel Núñez

This author has not been identified. Look up 'Manuel Núñez' in Google