EFSM manipulation to increase high-level ATPG effectiveness | IEEE Conference Publication | IEEE Xplore