Incremental computation of delay fault detection probability for variation-aware test generation | IEEE Conference Publication | IEEE Xplore