A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions | IEEE Journals & Magazine | IEEE Xplore