A method for the consistent reporting of fault coverage | IEEE Conference Publication | IEEE Xplore