selected publications

• conference paper

  • An automatic and optimized test generation technique applying to TCP/IP protocol.  . 73-80. 2003
  • Partial validation of a design specification with respect to requirements.  . 131-140. 2002