A CLP-Based Functional ATPG for Extended FSMs | IEEE Conference Publication | IEEE Xplore