An exact non-enumerative fault simulator for path-delay faults | IEEE Conference Publication | IEEE Xplore