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]

Abstract

Abstract is missing.