Xiaoping Che, Stephane Maag. Testing Distributed Communication Protocols by Formal Performance Monitoring. In Joaquim Filipe, Leszek A. Maciaszek, editors, Evaluation of Novel Approaches to Software Engineering - 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers. Volume 417 of Communications in Computer and Information Science, pages 110-125, Springer, 2013. [doi]
Abstract is missing.