A comment on "Improving a nonenumerative method to estimate path delay fault coverage" | IEEE Journals & Magazine | IEEE Xplore