Interoperability test generation and minimization for communication protocols based on the multiple stimuli principle | IEEE Journals & Magazine | IEEE Xplore