A fast, accurate, and non-statistical method for fault coverage estimation