A Pseudo-Deterministic Functional ATPG based on EFSM Traversing | IEEE Conference Publication | IEEE Xplore