Path Sensitization and Sub-circuit Partition of CUT Using t-Distribution for Pseudo-exhaustive Testing. - Jin Soo Noh; Chang Gyun Park; Kang Hyeon Rhee (AsiaSim, 2004)