An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours | IEEE Journals & Magazine | IEEE Xplore