A statistical model for fault coverage analysis | IEEE Conference Publication | IEEE Xplore