• Title of article

    Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines

  • Author/Authors

    T. Ramalingom، نويسنده , , K. Thulasiraman، نويسنده , , A. Das، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2003
  • Pages
    12
  • From page
    1622
  • To page
    1633
  • Keywords
    Communication protocol testing , Software testing , State identification sequences , Verification , validation , Test case generation , Extended finite state machine model
  • Journal title
    Computer Communications
  • Serial Year
    2003
  • Journal title
    Computer Communications
  • Record number

    309773