The S-Algorithm: A Promising Solution for Systematic Functional Test Generation | IEEE Journals & Magazine | IEEE Xplore