Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method | IEEE Journals & Magazine | IEEE Xplore