Untestable fault identification using recurrence relations and impossible value assignments | IEEE Conference Publication | IEEE Xplore