Testing core-based systems: a symbolic methodology | IEEE Journals & Magazine | IEEE Xplore