An automatic and optimized test generation technique applying to TCP/IP protocol | IEEE Conference Publication | IEEE Xplore