An EFSM-based Approach for Functional ATPG