Probabilistic testing for a distributed conference protocol | IEEE Conference Publication | IEEE Xplore