A study of some influencing factors in testability and diagnostics based on FSMs | IEEE Conference Publication | IEEE Xplore