Identifying Tests for Logic Fault Models Involving Subsets of Lines without Fault Enumeration | IEEE Conference Publication | IEEE Xplore