A fast, accurate, and non-statistical method for fault coverage estimation | IEEE Conference Publication | IEEE Xplore