FACTS: fault coverage estimation by test vector sampling | IEEE Conference Publication | IEEE Xplore