Locating logic design errors via test generation and don't-care propagation | IEEE Conference Publication | IEEE Xplore