Evaluation and improvement of fault coverage for verification and validation of protocols | IEEE Conference Publication | IEEE Xplore