Synthesis of symmetric functions for path-delay fault testability | IEEE Journals & Magazine | IEEE Xplore