Modeling the probability of defect excitation for a commercial IC with implications for stuck-at fault-based ATPG strategies | IEEE Conference Publication | IEEE Xplore