Test Set Enrichment using a Probabilistic Fault Model and the Theory of Output Deviations | IEEE Conference Publication | IEEE Xplore