Correction to "Modeling and Test Generation Algorithms for MOS Circuits" | IEEE Journals & Magazine | IEEE Xplore