Directed Test Generation for Validation of Cache Coherence Protocols | IEEE Journals & Magazine | IEEE Xplore