On avoiding undetectable faults during test generation | IEEE Conference Publication | IEEE Xplore