Two approaches for the improvement in testability of communication protocols | IEEE Conference Publication | IEEE Xplore