Automated generation of directed tests for transition coverage in cache coherence protocols | IEEE Conference Publication | IEEE Xplore