A new technique for generating protocol test | ACM SIGCOMM Computer Communication Review | DeepDyve