Probabilistic networks for verifying automated testing of high speed telecommunication equipment through the development lifecycle | IEEE Conference Publication | IEEE Xplore