selected publications conference paper An automatic and optimized test generation technique applying to TCP/IP protocol. . 73-80. 2003