An experience in estimating fault coverage of a protocol test | IEEE Conference Publication | IEEE Xplore